#inc stdlib.fun

## u32:x u32:a u32:b = a * ((u32:_ u32:c u32:d = c + d) a b);
u32:x u32:a u32:b = (* a ((u32:_ u32:c u32:d = (+ c d)) a b));

## print 12
print (x 2 4);

## Racket inspiration
## (define (fact [n 8])
##   (if (zero? n) 1 (* n (fact (- n 1)))))