((declare (out) float a) (declare (out) float b) | |
(function main | |
(signature void (parameters) | |
((declare (temporary) bool return_flag) | |
(assign (x) (var_ref return_flag) (constant bool (0))) | |
(loop | |
((assign (x) (var_ref a) (constant float (1.000000))) | |
(assign (x) (var_ref return_flag) (constant bool (1))) | |
break)) | |
(if (var_ref return_flag) () | |
((assign (x) (var_ref b) (constant float (2.000000))))))))) |