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