| ((declare (in) float b) (declare (out) float a) (declare (out) float c) | |
| (function main | |
| (signature void (parameters) | |
| ((loop () () () () | |
| ((assign (x) (var_ref a) (constant float (1.000000))) | |
| (if (expression bool > (var_ref b) (constant float (0.000000))) () | |
| ((assign (x) (var_ref c) (constant float (1.000000))) break)))))))) |