#include <stdio.h>
#include "stdarg.h"

int vsnprintf(char * restrict s, size_t n, va_list ap)
{
}

/*
STDC(199901)
*/