Después del preprocesamiento el código queda: