(* 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))))