1 #include <cstdio>
2 
3 const char* build = BUILD;
4 
5 int main(int argc, char **argv) {
6   printf("argc: %d\n", argc);
7   return argv[0][0];
8 }
9