reformatted 3367 src/dps8/dps8_sys.c char reformatted[strlen (buf) + 20]; reformatted 3368 src/dps8/dps8_sys.c (void)sprintf (reformatted, "0%04o%06o%s", segno, offset, buf + where); reformatted 3370 src/dps8/dps8_sys.c t_stat rc = brk_cmd (arg, reformatted);