Está a acontecer algo com o $COQ, mas não sei porquê..
128