(module M_GCounter)