(module
;; recursive
(func $fac (param f64) (result f64)
get_local 0
f64.const 1
f64.lt
if (result f64)
else
f64.sub
call $fac
f64.mul
end)
(export "fac" (func $fac)))