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