* main_codemap.ml: related work