1 2 3 4 5 6 7
mul a b = code mul a b; sub a b = code sub b a; fac 0 = 1; fac n = mul n (fac (sub n 1)); main = fac 4;