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);