[TUHS] DEC compilers (was Happy birthday, John Backus!)