method private incr_calls metrics =
    metrics := {!metrics with ccalls = succ !metrics.ccalls;}