proc check(file_or_dir: string) {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect].}