1  int i;
       2  
       3  int bar(void)
       4  {
       5    return 0x1234;
       6  }