; Error Line: 3
(declare a type)
(declare a mpz)