Haga clic en T0_ej15.c para descargar el archivo.