let tag_number = (ref 0 : int Pervasives.ref)