do {
     S;
} while (!B);
# OR
while (!B) {
     T;
}