En el caso del ejemplo del Hola mundo, el archivo puede llamarse codice_2.