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