do_while3_driver.c

int f();

int main()
{
    return !(f()==3);
}