method private incr_funcs metrics =
    metrics := {!metrics with cfuncs = succ !metrics.cfuncs;}