"Ejecución finalizada correctamente."
* HALT al final del main.
* Los métodos print ahora usan retorno default.