1 #include <stdio.h>
2 #include <limits.h>
3 
4 int
main()5 main() {
6 	/* XXX need to add much more stuff ... */
7 	static int	x0 = 123 + 456l;
8 	static int	x1 = (unsigned char)INT_MAX + 17;
9 	static int	x2 = 888 < 1000 - 111;
10 	static int	x3 = 4711 * 3 / 18 % 5;
11 	static int	x4 = 0? 1 / 0: 8 / 3;
12 
13 	printf("%d\n", x0);
14 	printf("%d\n", x1);
15 	printf("%d\n", x2);
16 	printf("%d\n", x3);
17 	printf("%d\n", x4);
18 }
19 
20 
21