. . . " ;; the external format that we'll call OPEN with, if NAME is a file." .