* code_map/model2.ml: comment