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