public static void SetStream(this ICustomOperationSpanBuilder builder, string stream) =>
 builder.SetCustomAnnotation("stream", stream);
 public static void SetCoordinates(this ICustomOperationSpanBuilder builder, StreamCoordinates coordinates) =>
 builder.SetCustomAnnotation("coordinates", coordinates.ToString());
 public static void SetShard(this ICustomOperationSpanBuilder builder, int index, int count) =>
 builder.SetCustomAnnotation("shard", $"{index}/{count}");