#ifndef flexelint_builtin_vsnprintf
#define flexelint_builtin_vsnprintf

#ifdef __cplusplus
extern "C" {
#endif

extern int __builtin_vsnprintf(char *s, unsigned long n, const char *fmt, void*);

#ifdef __cplusplus
}
#endif

#ifdef __cplusplus
namespace std {
int __builtin_vsnprintf(char *s, unsigned long n, const char *fmt, void*);
}
#endif

#endif