; Error Line: 3
(declare a mpz)
(define a 1)