let get_all_status () =
  [ (M1.self, M1.get_state, M1.get, M1.set);
    (M2.self, M2.get_state, M2.get, M2.set);
    (M3.self, M3.get_state, M3.get, M3.set);
    (M4.self, M4.get_state, M4.get, M4.set);
    (M5.self, M5.get_state, M5.get, M5.set);
    (M6.self, M6.get_state, M6.get, M6.set);
  ]