read_many_files work, before debugging