pub fn right_shift_with_8(a: u1, b: u4, c: u8) -> u8
Right-shift an 8-bit value by the given amount. Bits are filled with the given bit.