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