let
get_downCast_status () =
(
M4
.self,
M4
.get_state,
M4
.get)