1#include <stdarg.h>2#include <stdint.h>3#include <stdio.h>45#undef vsprintf67int8vsprintf(char *restrict s, const char *restrict fmt, va_list va)9{10 uintptr_t addr = (uintptr_t) s;1112 return vsnprintf(s, UINTPTR_MAX - addr, fmt, va);13}