transition_state  898 src/dps8/dps8_crdpun.c     transition_state(event, state, Idle);
transition_state  909 src/dps8/dps8_crdpun.c     transition_state(event, state, StartingJob);
transition_state  923 src/dps8/dps8_crdpun.c     transition_state(event, state, PunchGlyphLookup);
transition_state  937 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfHeader);
transition_state  985 src/dps8/dps8_crdpun.c     transition_state(event, state, CacheCard);
transition_state  997 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
transition_state 1009 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfJob);
transition_state 1092 src/punutil/punutil.c     transition_state(event, Idle);
transition_state 1101 src/punutil/punutil.c     transition_state(event, StartingJob);
transition_state 1111 src/punutil/punutil.c     transition_state(event, PunchGlyphLookup);
transition_state 1122 src/punutil/punutil.c     transition_state(event, EndOfHeader);
transition_state 1136 src/punutil/punutil.c     transition_state(event, CacheCard);
transition_state 1145 src/punutil/punutil.c     transition_state(event, EndOfDeck);
transition_state 1154 src/punutil/punutil.c     transition_state(event, EndOfJob);