T        0+0x3      load  @00000004 i32:0 / 00000000
T        1+0x3      load  @00000001  i8:0 / 00
T        3+0x5      store @00000004 i32:305419896 / 12345678
T        0+0x3      load  @00000002 i32:1450704896 / 56780000
T        1+0x3      load  @00000006  i8:52 / 34
T        2+0x3      load  @00000002 f32:68169720922112.000000 / 56780000
T        4+0x5      store @00000004  i8:171 / ab
T        0+0x3      load  @00000002 i32:1454047232 / 56ab0000
T        2+0x3      load  @00000002 f32:94008244174848.000000 / 56ab0000