pub fn lean_uint16_complement(a: u16) -> u16