method private incr_gotos metrics =
    metrics := {!metrics with cgotos = succ !metrics.cgotos;}