| 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 |