Hello,
I wonder if anybody tried specifying different sizes for int and
pointer (eg, 32 bit for int and 16 bit for pointers). The reason why
I am asking is because I hit a snag when I tried to reconfigure my
stdarg.h. I wonder if anybody has encountered a similar situation.
Thanks
peter