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