transition_state  876 src/dps8/dps8_crdpun.c     transition_state(event, state, Idle);
transition_state  887 src/dps8/dps8_crdpun.c     transition_state(event, state, StartingJob);
transition_state  901 src/dps8/dps8_crdpun.c     transition_state(event, state, PunchGlyphLookup);
transition_state  915 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfHeader);
transition_state  963 src/dps8/dps8_crdpun.c     transition_state(event, state, CacheCard);
transition_state  975 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
transition_state  987 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfJob);