Si el usuario quiere ejecutar codice_5, tiene que usar explícitamente el nombre completo del fichero: