El listado del ejemplo de la sección anterior quedaría, después de los pasos a) y b), como