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