(module
  (func
    (param)
    (result i32)
    (local i32 i32 i32 i32 i32)
    (i32.const 0)
    (if
      (result i32)
      (then (i32.const 777))
      (else (i32.const 555))))
  (export "main" (func 0)))