let print_marking_data fmt md =
    Format.fprintf fmt "@[time_stamp=%d;@ region=" md.time_stamp ;
    Region.print fmt md.region ;
    Format.fprintf fmt "@]"