Output format:
<--record#-> <--instr#->: <---tid---> <record details>
------------------------------------------------------------
          86          62:      296231 <marker: timestamp 13319413770947383>
          86          62:      296231 <marker: tid 296231 on core 10>
          87          63:      296231 ifetch       2 byte(s) @ 0x0000000000401026 0f 05                syscall  -> %rcx %r11
          88          63:      296231 <marker: timestamp 13319413770947393>
          89          63:      296231 <marker: tid 296231 on core 10>
          90          64:      296231 ifetch       4 byte(s) @ 0x0000000000401028 48 83 eb 01          sub    $0x0000000000000001 %rbx -> %rbx
          91          65:      296231 ifetch       4 byte(s) @ 0x000000000040102c 48 83 fb 00          cmp    %rbx $0x0000000000000000
          92          66:      296231 ifetch       2 byte(s) @ 0x0000000000401030 75 d9                jnz    $0x000000000040100b
          93          67:      296231 ifetch       7 byte(s) @ 0x000000000040100b 48 c7 c7 01 00 00 00 mov    $0x0000000000000001 -> %rdi
          94          68:      296231 ifetch       8 byte(s) @ 0x0000000000401012 48 8d 34 25 00 20 40 lea    0x00402000 -> %rsi
          94          68:      296231                                             00
View tool results:
              6 : total instructions

===========================================================================
Trace invariant checks passed