| 15470 | 0622 00 0 03411 | 7824 | STD | EVTDE CDR(E) | ||
| 15525 | 0500 00 0 03411 | 7856 | CLA | EVTDE | ||
| 15627 | 0500 00 0 03411 | 7931 | CLA | EVTDE GET BACK ARGUMENTS | ||
| 15704 | 0500 00 0 03411 | 7981 | CLA | EVTDE CDR(E) | ||
| 16016 | 0560 00 0 03411 | 8067 | LDQ | EVTDE | ||
| 16021 | 0500 00 0 03411 | 8070 | CLA | EVTDE AND ARGUMENT LIST | ||
| 16031 | 0622 00 0 03411 | 8079 | EVTXP | STD | EVTDE SAVE LAMBDA EXPRESSION | |
| 16040 | 0500 00 0 03411 | 8086 | CLA | EVTDE AND THE LAMBDA EXPRESSION |