[HECnet] Weird microcode bug in the 11/60 CPU