This is cool trick, but unnecessary here since NewCounter will enforce the same thing.