/* VERIFY_OPTS: -std=c89 */

int foo() { return 0; }

int main() {
    return foo( 0, 0, 42 );
}