let debug_marked_ff fmt ff = Format.fprintf fmt "Print slice = %s@." (M.ff_name ff); let ff_marks = ff.T.ff_marks in debug_ff_marks fmt ff_marks