Based on the naming (EF1 + READ), EF1READ reads a record from an external file and checks the file status code to verify the read operation succeeded. Option A incorrectly mentions internal records. Option D incorrectly adds write operations (that would be a read-write function). Option C describes a main program, not a read function.