pub fn left_extend_8_64(a: u8) -> u64
Extend an 8-bit value to a 64-bit value by padding its left with the MSB.