| Syntax | Semantics |
|---|---|
| (jump <state> <test>) | if <test> then goto <state> w/o consuming I/P |
| (cat <ctgy> <test> (to <state>)) | if * is <ctgy> & <test> then begin goto <state>; consume I/P end else fail |
| (pop <form> <test>) | if endofinput & <test> then return value of <form> else fail |