let rec print_marking fmt = function
      Unprocessed ->
        Format.fprintf fmt "@[Unprocessed@]"
    | Processed_Covered md ->
        Format.fprintf fmt "@[Processed_Covered(" ;
        print_marking_data fmt md ;
        Format.fprintf fmt ")@]" ;
    | Processed_Uncovered md ->
        Format.fprintf fmt "@[Processed_Uncovered(" ;
        print_marking_data fmt md ;
        Format.fprintf fmt ")@]" ;
    | Processed_Was_Covered_To_Reprocess md ->
        Format.fprintf fmt "@[Processed_Was_Covered_To_Reprocess(" ;
        print_marking_data fmt md ;
        Format.fprintf fmt ")@]"