((declare (in) float aa) (declare (in) float ab) (declare (in) float b)
 (function main
  (signature void (parameters)
   ((declare (temporary) bool break_flag)
    (assign (x) (var_ref break_flag) (constant bool (0)))
    (loop
     ((declare (temporary) bool execute_flag)
      (assign (x) (var_ref execute_flag) (constant bool (1)))
      (if (expression bool > (var_ref aa) (constant float (0.0)))
       ((if (expression bool > (var_ref ab) (constant float (0.0)))
         ((assign (x) (var_ref execute_flag) (constant bool (0))))
         ()))
       ())
      (if (var_ref execute_flag)
       ((if (expression bool > (var_ref b) (constant float (0.0)))
         ((assign (x) (var_ref break_flag) (constant bool (1)))
          (assign (x) (var_ref execute_flag) (constant bool (0))))
         ()))
       ())
      (if (var_ref break_flag) (break) ())))))))
