let eval_stdin () = try while true do
  let xp = read_line () in print_eval xp
done with End_of_file -> pe eof_str; flush stderr