((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.0))) ()
       ((assign (x) (var_ref c) (constant float (1.000000))) break))))))))
