replace RETURN-VALUE with SET-RESULT and RETURN