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

(function "catch_try_float" (b:float)
  (+f 10.0
  (catch
    (try (exit lbl 100.0)
     with var 456.0)
   with (lbl x:float) (+f x 1000.0))))