1#include <stdarg.h>
2
3void fdouble (double one, ...)
4{
5  double value;
6  va_list ap;
7
8  va_start (ap, one);
9  value = va_arg (ap, double);
10  va_end (ap);
11
12  if (one != 1.0 || value != 2.0)
13    abort ();
14}
15
16int main ()
17{
18  fdouble (1.0, 2.0);
19  exit (0);
20}
21