Implement translation of "rts" instruction