docs: Stream<String> writeFunctionCounter(FunctionCounter counter) {
          double count = counter.count();
          if (Double.isFinite(count)) {
              return Stream.of(event(counter.getId(), new Attribute("throughput", count)));
          }
          return Stream.empty();
      }