(module
  (func (export "test") (result i32)
    (local $x i32)
    (i32.const 1)
    (loop (param i32) (result i32)
      (i32.const 4)
      (i32.add)
      (local.tee $x)
      (local.get $x)
      (i32.const 10)
      (i32.lt_u)
      (br_if 0)
    )
  )
  (func (export "checkResult") (param i32) (result i32)
    get_local 0
    i32.const 13
    i32.eq
  )
)