let id_type = (ref 1 : int Pervasives.ref)