Beginning execution at 0x0555
Y86 CPU state:
    PC: 0000000000000574   flags: Z0 S0 O0     HLT
  %rax: 000000000000014d    %rcx: 000000000000006f
  %rdx: 0000000000000000    %rbx: 00000000000000de
  %rsp: 0000000000000000    %rbp: 0000000000000000
  %rsi: 0000000000000000    %rdi: 0000000000000000
   %r8: 0000000000000000     %r9: 0000000000000000
  %r10: 0000000000000000    %r11: 0000000000000000
  %r12: 0000000000000000    %r13: 0000000000000000
  %r14: 0000000000000000
Total execution count: 4
