let
rte_divMod_status = rte_find
Db
.
RteGen
.get_divMod_status