RETURN - return from named command or EXEC file.

$*$RETurn

has several applications. If EXEC is currently executing a named command (created with $*$COMMAND), $*$RETurn terminates execution of that command.

Otherwise, if EXEC is executing a file that was included with $*$INclude, $*$RETurn terminates execution of the file and returns to the previous input source (either the file that contained the original $*$INclude directive or the terminal).

Otherwise, EXEC must be executing from a single EXEC file or from the terminal. In this case, $*$RETurn terminates the EXEC session.