loop {
     S;
} while (!B) {
     T;
}