(* TEST
readonly_files = "main.c"
arguments = "-DINT_INT -DFUN=catch_fact main.c"
* asmgen
*)

(function "catch_fact" (b:int)
  (catch (exit fact b 1)
   with (fact c:val acc:val)
     (if (== c 0) acc
         (exit fact (- c 1) ( * c acc)))))