revert a simulator code -- callee shouldn't preserve r3-r5.
RXE's Length() should actually be size().