extern void v(int a, ...);

extern inline __attribute__((__always_inline__)) void f(int a, ...)
{
	__SIZE_TYPE__ b = __builtin_va_arg_pack_len();
}

extern inline __attribute__((__always_inline__)) void g(int a, ...)
{
	v(a, __builtin_va_arg_pack());
}

static void h(void)
{
	f(0, 0);
	g(0, 0);
}
/*
 * check-name: __builtin_va_arg_pack()
 */