A;
while (B) {
   D;
} continue {
   C;
}