Specializing a file