int
main(int argc, char **argv) {
  int i = 32;
  int j = 0xCAFFEE;
  j = j << i;
  return 0;
}