while (1) {
     S;
     last if (B);
     T;
}