pub fn right_extend_8_32(a: u8) -> u32
Extend an 8-bit value to a 32-bit value by padding its right with the MSB.