* main_codemap.ml: use skip list