                      | # prog10
  0x000: 30f001000000 |     irmovl $1,%eax
  0x006: 6344         |     xorl %esp,%esp        # Set stack pointer to 0 and CC to 100
  0x008: a00f         |     pushl %eax            # Attempt to write to 0xfffffffc
  0x00a: 6000         |     addl  %eax,%eax       # (Should not be executed) Would set CC to 000
  0x00c: 30f002000000 |     irmovl $2, %eax       # Not executed
  0x012: 30f003000000 |     irmovl $3, %eax       # Not executed
