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