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;