The K5 was actually a RISC CPU with an x86 decoder on top. So we can count that one, too?!