Example of mir2wasm on operators.rs. Manually modified to import print, calling it on the test method from the binaryen interpreter

operators.wast

(module
  (memory 0)
  (type $rustfn-0-11 (func (param i32 i32) (result i32)))
  (type $rustfn-0-22 (func (param i32 i32) (result i32)))
  (type $rustfn-0-33 (func (param i32 i32) (result i32)))
  (type $rustfn-0-44 (func (param i32 i32) (result i32)))
  (type $rustfn-0-48 (func (param i32 i32) (result i32)))
  (type $rustfn-0-47 (func))
  (func $_isize_as_Add_::add (type $rustfn-0-11) (param $0 i32) (param $1 i32) (result i32)
    (local $2 i32)
    (local $3 i32)
    (local $4 i32)
    (local $5 i32)
    (local $6 i32)
    (local $7 i32)
    (block
      (set_local $2
        (get_local $0)
      )
      (set_local $3
        (get_local $1)
      )
      (set_local $4
        (get_local $2)
      )
      (set_local $5
        (get_local $3)
      )
      (set_local $6
        (i32.add
          (get_local $4)
          (get_local $5)
        )
      )
      (return
        (get_local $6)
      )
    )
  )
  (func $_isize_as_Sub_::sub (type $rustfn-0-22) (param $0 i32) (param $1 i32) (result i32)
    (local $2 i32)
    (local $3 i32)
    (local $4 i32)
    (local $5 i32)
    (local $6 i32)
    (local $7 i32)
    (block
      (set_local $2
        (get_local $0)
      )
      (set_local $3
        (get_local $1)
      )
      (set_local $4
        (get_local $2)
      )
      (set_local $5
        (get_local $3)
      )
      (set_local $6
        (i32.sub
          (get_local $4)
          (get_local $5)
        )
      )
      (return
        (get_local $6)
      )
    )
  )
  (func $_isize_as_Mul_::mul (type $rustfn-0-33) (param $0 i32) (param $1 i32) (result i32)
    (local $2 i32)
    (local $3 i32)
    (local $4 i32)
    (local $5 i32)
    (local $6 i32)
    (local $7 i32)
    (block
      (set_local $2
        (get_local $0)
      )
      (set_local $3
        (get_local $1)
      )
      (set_local $4
        (get_local $2)
      )
      (set_local $5
        (get_local $3)
      )
      (set_local $6
        (i32.mul
          (get_local $4)
          (get_local $5)
        )
      )
      (return
        (get_local $6)
      )
    )
  )
  (func $_isize_as_Div_::div (type $rustfn-0-44) (param $0 i32) (param $1 i32) (result i32)
    (local $2 i32)
    (local $3 i32)
    (local $4 i32)
    (local $5 i32)
    (local $6 i32)
    (local $7 i32)
    (block
      (set_local $2
        (get_local $0)
      )
      (set_local $3
        (get_local $1)
      )
      (set_local $4
        (get_local $2)
      )
      (set_local $5
        (get_local $3)
      )
      (set_local $6
        (i32.div_s
          (get_local $4)
          (get_local $5)
        )
      )
      (return
        (get_local $6)
      )
    )
  )
  (func $main (type $rustfn-0-48) (param $0 i32) (param $1 i32) (result i32)
    (local $2 i32)
    (local $3 i32)
    (local $4 i32)
    (local $5 i32)
    (local $6 i32)
    (local $7 i32)
    (local $8 i32)
    (block
      (set_local $2
        (get_local $0)
      )
      (set_local $6
        (get_local $2)
      )
      (set_local $5
        (i32.add
          (get_local $6)
          (i32.const 3)
        )
      )
      (set_local $4
        (i32.mul
          (get_local $5)
          (i32.const 2)
        )
      )
      (set_local $3
        (i32.sub
          (get_local $4)
          (i32.const 2)
        )
      )
      (set_local $7
        (i32.div_s
          (get_local $3)
          (i32.const 3)
        )
      )
      (return
        (get_local $7)
      )
    )
  )
  (func $test (type $rustfn-0-47)
    (local $0 i32)
    (local $1 i32)
    (local $2 i32)
    (block
      (block
        (call_import $print_i32
          (call $main
            (i32.const 1)
            (get_local $1)
          )
        )
      )
    )
    (block
      (block
        (return
          (get_local $2)
        )
      )
    )
  )

  (import $print_i32 "spectest" "print" (param i32))
  (export "rust_fn" $test)
)
(invoke "rust_fn")