pub fn left_extend_1_32(a: u1) -> u32
Extend a 1-bit value to a 32-bit value by padding its left with the MSB.