implement RET/IRET (untested) (contributes to #11)