method
private
incr_both_metrics f =
f global_metrics;
f local_metrics