let get_divMod_status () =
  (M3.self, M3.get_state, M3.get, M3.set)