Declaraciones del ejemplo anterior son: