method private incr_both_metrics f =
    f global_metrics;
    f local_metrics