Move output_cfg functions from dis64.c to output_cfg_dot.c