Jonathan Stone said:
> 
> 
> I wonder if this could be due to the stdargs/varargs headers?  I notice
> I'm still using old (1.1?) headers, and *I* can't reproduce
> this problem.   A sharfile of the headers from the system I compiled
> on is appended.  Manuel, could you try installing those headers in
> /usr/include/machine, recompiling libc and your test program, 
> and seeing if that works?
> 

I reinstalled the old stdarg.h and varargs.h, recompiled libc, and the
bug seems to have gone away. The problem seems to come from here.

I think i'll try a more up-to-date -current, and see if the bug is still
here, but this will not be before the end of the week.

--                                         
Manuel Bouyer, LIX, Ecole Polytechnique                                
email: bouyer@lix.polytechnique.fr                                     
--