let initialize pp eot inch outch =
  Term.pretty := pp;
  s.eot <- eot;
  s.inchannel <- inch;
  s.outchannel <- outch