versions work correctly; at some point between then and the immediately preceding revisions, the "stylistic" changes to one (or both) stdarg.h and varargs.h broke passing doubles to printf().