1 /*
2  * This file is in the public domain.
3  */
4 
5 #include <sys/cdefs.h>
6 
7 #include <stdio.h>
8 
9 int
10 main(int argc, char **argv __unused)
11 {
12 
13 	printf("%d\n", argc);
14 	return (0);
15 }
16