* main_codemap.ml: more related work