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