file_num property introduced, tests changed correspondingly