abs(1) ^ i32
