Hi all, Ken mailed me the code for the compiler backdoor. I have annotated it and posted it at https://research.swtch.com/nih.