let pretty_slice fmt ff = 
  PrintSlice.print_marked_ff fmt ff; 
  Format.pp_print_flush fmt ()