let print_double_line = let s = String.make vt_width '=' in fun fmt () -> fprintf fmt "%s@." s