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