return 0;
12345678
int main() { do { // code } while ( condition ); return 0; }
123456789
int main() { do { // code if ( conditionB ) return 42; // code } while ( condition ); return 0; }