;; Sample WebAssembly text module — samplefiles.com
(module
  (func $add (export "add") (param $a i32) (param $b i32) (result i32)
    local.get $a
    local.get $b
    i32.add)
  (func $is_vip (export "is_vip") (param $balance f64) (result i32)
    local.get $balance
    f64.const 10000
    f64.ge))