get_ASCII_char    857 src/dps8/dps8_prt.c                     uint8_t ch = get_ASCII_char (i);
get_ASCII_char    872 src/dps8/dps8_prt.c                     uint8_t ch = get_ASCII_char (i);
get_ASCII_char    876 src/dps8/dps8_prt.c                         uint8_t n = get_ASCII_char (i);
get_ASCII_char    887 src/dps8/dps8_prt.c                         uint8_t n = get_ASCII_char (i);
get_ASCII_char    918 src/dps8/dps8_prt.c                         uint8_t n = get_ASCII_char (i);