Format 1
STOP {RUN [ {RETURNING} return-value ] } {GIVING }
Format 2
STOP literal
Format 3
STOP THREAD [ thread-id ]
