cuerpo debe compilarse después de la especificación, es decir, el cuerpo