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