contents.gifindex.gifprev1.gifnext1.gif

STOP

Format 1

STOP {RUN [ {RETURNING} return-value ] }
            {GIVING   }


Format 2

STOP literal


Format 3

STOP THREAD [ thread-id ]