#include <stdio.h> int main(int argc, const char **argv) { (void) argc; printf("%s", argv[0]); return 0; }