* @param kernelState The current kernel state.
* @param ex The exception that triggered the redirection.
*/
private void handleRedirect(KernelState kernelState, RedirectException ex) {
ExecutionFrame currentFrame = kernelState.getLastExecutionFrame();
FrameAddress redirectAddress = ex.getAddress();
// Resolve symbolic address
if (FrameAddress.RETURN.equals(redirectAddress)) {
// Set to end of compound
currentFrame.setPosition((currentFrame.getHostBlock().getBlocks() != null)?currentFrame.getHostBlock().getBlocks().size():0);