i64 ^ 1 ** i32
