#include <stdio.h>

extern int Add10(int p1, int p2, int p3, int p4, int p5,
                    int p6, int p7, int p8, int p9, int p10);

int main(int argc, char **argv)
{

   int x;

   x = Add10(1, 2, 3, 4, 5, 6, 7, 8, 9, 10);

   printf("x = %d\n", x);
}