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