transition_state  875 src/dps8/dps8_crdpun.c     transition_state(event, state, Idle);
transition_state  886 src/dps8/dps8_crdpun.c     transition_state(event, state, StartingJob);
transition_state  900 src/dps8/dps8_crdpun.c     transition_state(event, state, PunchGlyphLookup);
transition_state  914 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfHeader);
transition_state  961 src/dps8/dps8_crdpun.c     transition_state(event, state, CacheCard);
transition_state  973 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
transition_state  985 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfJob);