let
get_memAccess_status () =
(
M2
.self,
M2
.get_state,
M2
.get,
M2
.set)