let id_refresh : int Pervasives.ref = ref 1