Output format:
<--record#-> <--instr#->: <---tid---> <record details>
------------------------------------------------------------
          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
          95          69:      296231 ifetch       7 byte(s) @ 0x000000000040101a 48 c7 c2 0d 00 00 00 mov    $0x000000000000000d -> %rdx
          96          70:      296231 ifetch       5 byte(s) @ 0x0000000000401021 b8 01 00 00 00       mov    $0x00000001 -> %eax
          97          71:      296231 ifetch       2 byte(s) @ 0x0000000000401026 0f 05                syscall  -> %rcx %r11
View tool results:
              8 : total instructions

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