replace PRIu64 with %d and cast to int