* main_codemap.ml: more complete test cairo