Formerly ../stdio/vfprintf.c.~8~