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