RESET 1250 src/dps8/dps8_utils.c state = RESET; RESET 1263 src/dps8/dps8_utils.c state = RESET; RESET 1271 src/dps8/dps8_utils.c if (state == RESET)