Symbol: ibcq_to_rvtcq