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

(function "catch_exit" (b:int)
  (+ 33
  (catch
    (try (exit lbl 12)
     with var 456)
   with (lbl x:val) (+ x 789))))