1 2 3 4 5 6 7
((declare (in) float b) (declare (out) float a) (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))) (break) ())))))))