extern "C" void printf(const char *, ...);
int main(int argc, char * argv[]) {
  printf("%d\n",argc);
}