i32 ^ (i64 % i)
