Format: RETURN statement

1 RETURN file-name-1
2? RECORD
3? INTO identifier-1
4? AT
4.1 END imperative-statement-1
5? NOT
5.1? AT
5.2 END imperative-statement-2
6? END-RETURN