ABI_VFPRINTF
extern int (*ABI_VFPRINTF)(FILE *, const char *, va_list);
int (*ABI_VFPRINTF)(FILE *, char const *, va_list);
if ((ABI_VFPRINTF =