let
mk_index_update _ _ _ = abort
"mk_index_update"