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