1 ((declare (in) float b) (declare (out) float a) 2 (function main 3 (signature void (parameters) 4 ((loop () () () () 5 ((assign (x) (var_ref a) (constant float (1.000000))) 6 (if (expression bool > (var_ref b) (constant float (0.000000))) () 7 (break)))))))) 8
