/* Jacket for <stdio.h>. */

#include stdio


#include <stdarg.h>

int vasprintf (char **resultp, const char *format, va_list args);

#define _GL_ATTRIBUTE_FORMAT_PRINTF_STANDARD( a, b)

#ifndef _GL_ARG_NONNULL
# define _GL_ARG_NONNULL( a)
#endif

