DiskFile: removed restrict keyword