How to print a int64_t type in C How to print a int64_t type in C c c