type(-i64)
