(module
  (memory 10)
  (type $0 (func))
  (func $0 (type $0)
    (local $x i32)
    (local $1 i32)
    (i32.add
      (block
        (set_local $x
          (i32.const 10)
        )
        (get_local $x)
      )
      (i32.const 20)
    )
    (i32.add
      (block
        (block
          (set_local $1
            (i32.const 40)
          )
          (i32.store
            (i32.const 30)
            (get_local $1)
          )
        )
        (get_local $1)
      )
      (i32.const 50)
    )
  )
)