use macro to printf int64_t