mutable metrics_map:
      (my_metrics Datatype.String.Map.t) Datatype.String.Map.t =
    Datatype.String.Map.empty