let
rte_memAccess_status = rte_find
Db
.
RteGen
.get_memAccess_status