method private incr_exits metrics =
    metrics := {!metrics with cexits = succ !metrics.cexits;}