int
main(void)
{
    if (1 /* true */)
        return 0;
    return 1;
}
