implemented the return operator; see hello3.frt