(module
 (type $i32_f64_=>_none (func (param i32 f64)))
 (type $none_=>_none (func))
 (type $i32_=>_none (func (param i32)))
 (import "env" "memory" (memory $memory 256 256))
 (import "env" "table" (table $table 0 0 funcref))
 (import "env" "__memory_base" (global $__memory_base i32))
 (import "env" "__table_base" (global $__table_base i32))
 (export "ex" (func $ex))
 (func $missing (param $x i32) (param $y f64)
  (nop)
 )
 (func $extra (param $x i32) (param $y f64)
  (nop)
 )
 (func $mix (param $a i32)
  (nop)
 )
 (func $ex
  (call $missing
   (i32.const 0)
   (f64.const 0)
  )
  (call $missing
   (i32.const 1)
   (f64.const 0)
  )
  (call $extra
   (i32.const 1)
   (f64.const 2)
  )
  (call $extra
   (i32.const 1)
   (f64.const 2)
  )
  (call $mix
   (i32.const 0)
  )
  (call $mix
   (i32.const 1)
  )
  (call $mix
   (i32.const 1)
  )
 )
)