(module
  (func $one (result i32)
    i32.const 1
  )
  (func $double (param $a i32) (result i32)
    local.get $a
    i32.const 2
    i32.mul
  )
  (func $addone (param $a i32) (result i32)
    local.get $a
    call $one
    i32.add
  )
  (func $doublesubtractaddone (param $a i32) (param $b i32) (result i32)
    local.get $a
    call $double
    local.get $b
    call $double
    i32.sub
    call $addone
  )
  (func $doubleadd (param $a i32) (param $b i32) (result i32)
    local.get $a
    call $double
    local.get $b
    call $double
    i32.add
  )
  (export "doubleadd" (func $doubleadd))
  (export "doublesubtractaddone" (func $doublesubtractaddone))
)