let rte_divMod_status     = rte_find Db.RteGen.get_divMod_status