Museum

;



DEBUG "Jump" Command...

Jump <debugger-label>

    A <debugger-label> is an identifier.  Its definition must be in the
    same command string or <action-list> as its usage.