half(i ^ i32)
