(module
 (type $i32_i32_i32_i64_=>_i64 (func (param i32 i32 i32 i64) (result i64)))
 (export "func" (func $0))
 (func $0 (; 0 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i64) (result i64)
  (local $4 i32)
  (local.set $3
   (i64.const 2147483647)
  )
  (nop)
  (i64.const 2147483647)
 )
)
(module
 (type $i32_i32_i32_i64_=>_i64 (func (param i32 i32 i32 i64) (result i64)))
 (export "func" (func $0))
 (func $0 (; 0 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i64) (result i64)
  (local $4 i32)
  (local.set $3
   (i64.const 2147483647)
  )
  (nop)
  (i64.const 2147483647)
 )
)
