A Thought experiment marked up in asm