Carga del disco un archivo con procedimientos para que se pueda ejecutar o modificar un programa. Veas también la primitiva CARGA.