for ( init(); check(); doOut()) { doIn(); }
means
init(); for (;;) { if (!check()) break; doIn(); doOut(); }