#include <stdio.h>
#include <stdint.h>

int main(int argc, char* argv[]) {
  printf("%lld\n", (int64_t)argc);
}