execve_argc_helper.c

/*
 * This file is in the public domain.
 */

#include <sys/cdefs.h>

#include <stdio.h>

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

	printf("%d\n", argc);
	return (0);
}