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