method private incr_ifs metrics =
    metrics := {!metrics with cifs = succ !metrics.cifs;}