#include <cstdio>

int main(int argc, char **argv) {
  printf("argc: %d\n", argc);
  return argv[0][0];
}
