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