-(1 ^ i64)
