void main() {
    do int foo = 1, bar = foo; while (false);
}