let init (n, pp, eot, inch, outch) =
  Istate.initialize pp eot inch outch;
  Var.pretty := pp;
  Term.pretty := pp;
  if n = 0 then
    Sys.catch_break true