1((declare (in) float b) (declare (out) float a) (declare (out) float c) 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 ((assign (x) (var_ref c) (constant float (1.000000))) break) 8 ()))))))) 9