VL
Size: a a a
VL
SA
SA
VL
SA
SA
AE
AE
SA
AE
SA
VL
SA
SA
VL
VL
VL
VL
SA
(func $fact (param $x i64) (result i64)
(if $x (result i64)
(i64.eqz
(local.get $x))
(then
(i64.const 1))
(else
(i64.mul
(local.get $x)
(call $fact
(i64.sub
(local.get $x)
(i64.const 1)))))))