Es conveniente leer los comentarios existentes en el archivo codice_6 sobre como compilar los fuentes para obtener los [[binario]]s.