1 #include <stdio.h>
2 
3 int
main(void)4 main(void) {
5 	int	x;
6 	x = 1? 0: 1;
7 	printf("%d\n", x);
8 	x = getchar() != EOF? 5 - 1: +16;
9 	printf("%d\n", x);
10 }
11 
12