void foo() {
    do {
        foo();
        foo();
    } while (true);

    do
        foo();
    while (false);
}