pub fn lean_uint8_complement(a: u8) -> u8