void
f1(integer a)
{
    if (a) {
	exit(1);
    }
}

integer
main(void)
{
    f1(3);

    return 0;
}