Go to the source code of this file.
max(max(max(max(a1, a2), a3), a4), a5); c0 <= min(min(min(min(b1, b2), b3), b4), b5); c0 += 1
Definition at line 1 of file wak4-1.c.