1((declare (out) float a) (declare (out) float b)
2 (function main
3  (signature void (parameters)
4   ((declare (temporary) bool return_flag)
5    (assign (x) (var_ref return_flag) (constant bool (0)))
6    (loop () () () ()
7     ((assign (x) (var_ref a) (constant float (1.000000)))
8      (assign (x) (var_ref return_flag) (constant bool (1)))
9      break))
10    (if (var_ref return_flag) ()
11     ((assign (x) (var_ref b) (constant float (2.000000)))))))))
12