Silence gcc warnings by using PRIu64 in CRASH() printf().