int main(int argc, char **argv) {
          int i;
          int k;
          k = 1;
          i = (k << 3);
          return(0);
}