pub fn right_shift_64(a: u8, b: u64) -> u64
Right-shift a 64-bit value by the given amount. Bits are filled with zeroes.