charCtrls        2207 src/dps8/dps8_iom.c   static char * charCtrls[4] = {"terminate", "undefined", "proceed", "marker"};
charCtrls        2226 src/dps8/dps8_iom.c     sim_printf ("//     ctrl             %o (%s)\r\n", IDCW_CHAN_CTRL, charCtrls[IDCW_CHAN_CTRL]);