pub const U64_SENTINEL: u64 = 0;