@azonenberg The f00f bug is probably in microcode, so here's a random piece of the Pentium's microcode as it appears on the die :-)