int @group_name@_group_counter; /* counter for group @group_name@ */