U64_MAX: BN = ...