if (getchar() != EOF) == 0
//x
else
//y