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