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