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