1((declare (out) float a) (declare (out) float b)
2 (function sub
3  (signature float (parameters)
4   ((declare (temporary) bool execute_flag)
5    (assign (x) (var_ref execute_flag) (constant bool (1)))
6    (declare (temporary) float return_value)
7    (declare (temporary) bool return_flag)
8    (assign (x) (var_ref return_flag) (constant bool (0)))
9    (loop () () () ()
10     ((assign (x) (var_ref a) (constant float (1.000000)))
11      (assign (x) (var_ref return_value) (constant float (2.000000)))
12      (assign (x) (var_ref return_flag) (constant bool (1)))
13      break))
14    (if (var_ref return_flag) ()
15     ((assign (x) (var_ref b) (constant float (3.000000)))
16      (assign (x) (var_ref return_value) (constant float (4.000000)))
17      (assign (x) (var_ref return_flag) (constant bool (1)))
18      (assign (x) (var_ref execute_flag) (constant bool (0)))))
19    (return (var_ref return_value))))))
20