let
gr_incr r =
r := !r + gr_unit