1 #include <stdio.h>
2 
3 int
main()4 main() {
5 	int	x = 1;
6 	x <<= 32;
7 	printf("%d\n", x);
8 	return 0;
9 }
10 
11