(module
  (func $addi32 (param $lhs i32) (param $rhs i32) (result i32)
    get_local $lhs
    get_local $rhs
    i32.add)
  (export "addi32" (func $addi32))
)
            

(module
  (func $addi64 (param $lhs i64) (param $rhs i64) (result i64)
    get_local $lhs
    get_local $rhs
    i64.add)
  (export "addi64" (func $addi64))
)
            

(module
  (func $add (param $lhs f32) (param $rhs f32) (result f32)
    get_local $lhs
    get_local $rhs
    f32.add)
  (export "addf32" (func $addf32))
)
            

(module
  (func $addf64 (param $lhs f64) (param $rhs f64) (result f64)
    get_local $lhs
    get_local $rhs
    f64.add)
  (export "addf64" (func $addf64))
)