let
rte_downCast_status = rte_find
Db
.
RteGen
.get_downCast_status