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