(compile-function
 'factorial 'integer '((x . integer))
 '((entry (goto-if (= integer x 1) one else))
   (one   (return integer 1))
   (else  (return (* integer n (call integer factorial (- integer 1)))))))

"define i64 @factorial(i64 %x) {
ENTRY:
%ENTRY0_1 = icmp eq i64 %x, 1
br i1 %ENTRY0_1, %ONE, %ELSE
ONE:
ret i64 1
ELSE:
ret NIL %ELSE0_0
}"