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