let rte_memAccess_status  = rte_find Db.RteGen.get_memAccess_status