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