// MakeSpecialTerminal.cm
// last edited by Levin on November 12, 1982 5:28 pm

Compiler /-c-b-nj SpecialTerminal SpecialTerminalImpl