[COFF] TOPS-10 question