1 c423c56e 2022-09-25 op #include <stdio.h>
 2 c423c56e 2022-09-25 op 
 3 c423c56e 2022-09-25 op extern const char *__progname;
 4 c423c56e 2022-09-25 op 
 5 c423c56e 2022-09-25 op int
 6 c423c56e 2022-09-25 op main(void)
 7 c423c56e 2022-09-25 op {
 8 c423c56e 2022-09-25 op 	puts(__progname);
 9 c423c56e 2022-09-25 op 	return 0;
10 c423c56e 2022-09-25 op }