method private incr_ptrs metrics =
    metrics := {!metrics with cptrs = succ !metrics.cptrs;}