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