auto* reader = TFE_MonitoringNewCounterReader(counter_name);
  IncrementCounter1(counter, label_name);

  int64_t actual = TFE_MonitoringReadCounter1(reader, label_name);

  CHECK_EQ(actual, 1);
}

TFE_MonitoringCounter0* CreateCounter0(const char* counter_name) {
  TF_Status* status = TF_NewStatus();
  auto* counter =
      TFE_MonitoringNewCounter0(counter_name, status, "description");
  TF_DeleteStatus(status);