let print_eval xp = let res = eval xp in 
if !_print_unit || res <> !Eval._str_unit then
begin
  if !_remind then begin pf "%s = " xp; if !_remind_newline then ps "\n" end;
  if !_insert_result then ps "> ";
  pl res
end