Another workaround to print int64_t.