function exists(name: filenames): boolean;