#include <stdio.h>

int snprintf(char * restrict s, size_t n, const char * restrict format, ...)
{
}

/*
STDC(199901)
*/