same comment here as the one on `gcounter` re: location of these definitions in file