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