Notes on the Pentium’s microcode circuitry