* main_codemap.ml: -test_cairo