let mk_index_update _ _ _ = abort "mk_index_update"