1  typedef int xtype;
       2  
       3  xtype
       4  foo (a)
       5       xtype a;
       6  {
       7    return a | 0x7f;
       8  }
       9  
      10  main ()
      11  {
      12    printf ("%08x\n", foo (-1));
      13  }