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