INIT;
while (COND) {
   BODY;
   POST;
}