Debugging rt migration