Therac-25 (was: microcode, compilers, and supercomputer architecture)