(module
  (export "mul" (func $mul))
  (export "div_s" (func $div_s))
  (export "div_u" (func $div_u))
  (export "rem_s" (func $rem_s))
  (export "rem_u" (func $rem_u))
  (export "get_high" (func $get_high))
  (global $high (mut i32) (i32.const 0))
  (func $get_high (result i32)
    (global.get $high)
  )
  (func $mul (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (result i32)
    (local $result i64)
    (local.set $result
      (i64.mul
        (i64.or
          (i64.extend_i32_u
            (local.get $xl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $xh)
            )
            (i64.const 32)
          )
        )
        (i64.or
          (i64.extend_i32_u
            (local.get $yl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $yh)
            )
            (i64.const 32)
          )
        )
      )
    )
    (global.set $high
      (i32.wrap_i64
        (i64.shr_s
          (local.get $result)
          (i64.const 32)
        )
      )
    )
    (i32.wrap_i64
      (local.get $result)
    )
  )
  (func $div_s (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (result i32)
    (local $result i64)
    (local.set $result
      (i64.div_s
        (i64.or
          (i64.extend_i32_u
            (local.get $xl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $xh)
            )
            (i64.const 32)
          )
        )
        (i64.or
          (i64.extend_i32_u
            (local.get $yl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $yh)
            )
            (i64.const 32)
          )
        )
      )
    )
    (global.set $high
      (i32.wrap_i64
        (i64.shr_s
          (local.get $result)
          (i64.const 32)
        )
      )
    )
    (i32.wrap_i64
      (local.get $result)
    )
  )
  (func $div_u (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (result i32)
    (local $result i64)
    (local.set $result
      (i64.div_u
        (i64.or
          (i64.extend_i32_u
            (local.get $xl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $xh)
            )
            (i64.const 32)
          )
        )
        (i64.or
          (i64.extend_i32_u
            (local.get $yl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $yh)
            )
            (i64.const 32)
          )
        )
      )
    )
    (global.set $high
      (i32.wrap_i64
        (i64.shr_s
          (local.get $result)
          (i64.const 32)
        )
      )
    )
    (i32.wrap_i64
      (local.get $result)
    )
  )
  (func $rem_s (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (result i32)
    (local $result i64)
    (local.set $result
      (i64.rem_s
        (i64.or
          (i64.extend_i32_u
            (local.get $xl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $xh)
            )
            (i64.const 32)
          )
        )
        (i64.or
          (i64.extend_i32_u
            (local.get $yl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $yh)
            )
            (i64.const 32)
          )
        )
      )
    )
    (global.set $high
      (i32.wrap_i64
        (i64.shr_s
          (local.get $result)
          (i64.const 32)
        )
      )
    )
    (i32.wrap_i64
      (local.get $result)
    )
  )
  (func $rem_u (param $xl i32) (param $xh i32) (param $yl i32) (param $yh i32) (result i32)
    (local $result i64)
    (local.set $result
      (i64.rem_u
        (i64.or
          (i64.extend_i32_u
            (local.get $xl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $xh)
            )
            (i64.const 32)
          )
        )
        (i64.or
          (i64.extend_i32_u
            (local.get $yl)
          )
          (i64.shl
            (i64.extend_i32_u
              (local.get $yh)
            )
            (i64.const 32)
          )
        )
      )
    )
    (global.set $high
      (i32.wrap_i64
        (i64.shr_s
          (local.get $result)
          (i64.const 32)
        )
      )
    )
    (i32.wrap_i64
      (local.get $result)
    )
  )
)