let rte_downCast_status   = rte_find Db.RteGen.get_downCast_status