(module
  (memory 256 256)
  (func $b0 (param $x i32)
    (i32.load offset=1
      (get_local $x)
    )
    (i32.load offset=8
      (get_local $x)
    )
    (i32.load offset=1023
      (get_local $x)
    )
    (i32.load
      (i32.add
        (get_local $x)
        (i32.const 1024)
      )
    )
    (i32.load
      (i32.add
        (get_local $x)
        (i32.const 2048)
      )
    )
    (i32.load offset=4
      (get_local $x)
    )
  )
)
