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