* code_map/draw_microlevel.ml: