int
main(void)
{
	extern char *__progname;

	return !__progname;
}