let get_precond_status () =
  (M5.self, M5.get_state, M5.get, M5.set)