textual spec, File.open