(File Ports): Describe call-with-input-file and