#include <wchar.h>
#include <stdarg.h>

int vswprintf_s(wchar_t * restrict s, rsize_t n, const wchar_t * restrict format, va_list arg)
{
	__C_EXT(1, 201112L);
	// wait
}

/*
CEXT1(201112)
*/