Refactor verify_rt