transition_state  894 src/dps8/dps8_crdpun.c     transition_state(event, state, Idle);
transition_state  905 src/dps8/dps8_crdpun.c     transition_state(event, state, StartingJob);
transition_state  919 src/dps8/dps8_crdpun.c     transition_state(event, state, PunchGlyphLookup);
transition_state  933 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfHeader);
transition_state  981 src/dps8/dps8_crdpun.c     transition_state(event, state, CacheCard);
transition_state  993 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
transition_state 1005 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfJob);