(module
 (type $i32_i32_=>_none (func (param i32 i32)))
 (type $none_=>_i32 (func (result i32)))
 (type $none_=>_none (func))
 (type $i64_=>_none (func (param i64)))
 (type $f32_=>_none (func (param f32)))
 (type $f64_=>_none (func (param f64)))
 (type $i32_=>_i32 (func (param i32) (result i32)))
 (type $none_=>_i64 (func (result i64)))
 (type $none_=>_f32 (func (result f32)))
 (type $none_=>_f64 (func (result f64)))
 (import "env" "wasm2js_scratch_load_i32" (func $wasm2js_scratch_load_i32 (param i32) (result i32)))
 (import "env" "wasm2js_scratch_store_i32" (func $wasm2js_scratch_store_i32 (param i32 i32)))
 (import "env" "wasm2js_scratch_load_f32" (func $wasm2js_scratch_load_f32 (result f32)))
 (import "env" "wasm2js_scratch_store_f32" (func $wasm2js_scratch_store_f32 (param f32)))
 (import "env" "wasm2js_scratch_load_f64" (func $wasm2js_scratch_load_f64 (result f64)))
 (import "env" "wasm2js_scratch_store_f64" (func $wasm2js_scratch_store_f64 (param f64)))
 (import "env" "getTempRet0" (func $getTempRet0 (result i32)))
 (import "env" "wasm2js_scratch_load_i64" (func $legalimport$wasm2js_scratch_load_i64 (result i32)))
 (import "env" "wasm2js_scratch_store_i64" (func $legalimport$wasm2js_scratch_store_i64 (param i32 i32)))
 (import "env" "wasm2js_scratch_load_i64" (func $wasm2js_scratch_load_i64 (result i64)))
 (import "env" "wasm2js_scratch_store_i64" (func $wasm2js_scratch_store_i64 (param i64)))
 (memory $0 1 1)
 (global $i64toi32_i32$HIGH_BITS (mut i32) (i32.const 0))
 (func $0
  (local $0 f64)
  (local $1 i32)
  (nop)
 )
 (func $legalfunc$wasm2js_scratch_load_i64 (result i32)
  (local $0 i32)
  (local $1 i32)
  (local.set $1
   (i32.or
    (call $legalimport$wasm2js_scratch_load_i64)
    (i32.const 0)
   )
  )
  (global.set $i64toi32_i32$HIGH_BITS
   (call $getTempRet0)
  )
  (local.get $1)
 )
 (func $legalfunc$wasm2js_scratch_store_i64 (param $0 i32) (param $1 i32)
  (call $legalimport$wasm2js_scratch_store_i64
   (local.get $0)
   (local.get $1)
  )
 )
)