BSD__hdtoa       1237 vsnprintf.c    extern char *BSD__hdtoa(double, const char *, int, int *, int *, char **);
BSD__hdtoa       1259 vsnprintf.c    	    digits = BSD__hdtoa(value,