((declare (in) float a) (declare (in) float ba) (declare (in) float bb)
 (declare (in) float ca)
 (declare (in) float cb)
 (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 a) (constant float (0.000000)))
       ((if (expression bool > (var_ref ba) (constant float (0.000000)))
         ((if (expression bool > (var_ref bb) (constant float (0.000000)))
           ((assign (x) (var_ref execute_flag) (constant bool (0))))
           ()))
         ())
        (if (var_ref execute_flag)
         ((if (expression bool > (var_ref ca) (constant float (0.000000)))
           ((if (expression bool > (var_ref cb) (constant float (0.000000)))
             ((assign (x) (var_ref break_flag) (constant bool (1)))
              (assign (x) (var_ref execute_flag) (constant bool (0))))
             ()))
           ()))
         ()))
       ())
      (if (var_ref execute_flag)
       ((assign (x) (var_ref break_flag) (constant bool (1))))
       ())
      (if (var_ref break_flag) (break) ())))))))