(* constants that may be modified by the user : *)
const
  max_line_len = 80;
      (* warn the user if an input line becomes longer than
         this because of insertion of new divide-points *)

  input_line_length = 160;
      (* maximum length of an input line. Input lines must
         not exceed this length. *)

  buffer_size = 5; (* lines *)
      (* size of the buffer that is used for blocks *)

  max_includes = 3;
      (* max no. of levels of include files. The main
         file is one level. *)

  nr_head_foot_lines = 3;
      (* the number of text lines in the head and in the foot *)

  (* initial values for various user-settable variables : *)
  init_left              = 0;   (* 0 x 24 points *)
  init_left_add          = 0;   (* 0 x 24 points *)
  init_indentation       = 120; (* 5 x 24 points *)
  init_right             = max_right_margin;
  init_straight_margin   = false;
  init_line_spacing      = 12;  (* points *)
  init_hf_left           = init_left;
  init_hf_right          = init_right;
  init_hf_line_spacing   = 12;  (* points *)
  init_head_height       = 24;  (* points *)
  init_foot_height       = 24;  (* points *)
  init_page_height       = 864; (* points *)
  init_page_nr           = 1;
  init_max_white_space   = 96;  (* 4 x 24 points *)