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