Ejemplo de código generado: