(* TEST
 readonly_files = "main.c";
 arguments = "-DFLOAT_CATCH -DFUN=catch_float main.c";
 asmgen;
*)

(function "catch_float" (b:int)
  (+f 10.0
  (catch
    (exit lbl 100.0)
   with (lbl x:float) (+f x 1000.0))))