i64 ^ i64 * i64
