1#include <stdarg.h>
2
3void foo(va_list v)
4{
5    unsigned long long x = va_arg (v, unsigned long long);
6    if (x != 16LL)
7	abort();
8}
9
10void bar(char c, char d, ...)
11{
12    va_list v;
13    va_start(v, d);
14    foo(v);
15    va_end(v);
16}
17
18int main(void)
19{
20    bar(0, 0, 16LL);
21    exit(0);
22}
23