RETURN file-name RECORD [ INTO dest-record ] AT END statement-1 [ NOT AT END statement-2 ] [ END-RETURN ]