Notes on the Pentium's Microcode Circuitry