let prf_raw_of_stdin ?(print_trace = false) ?(print_tokens = false) () : t_prf_raw = prf_raw_of_string ~print_trace:print_trace ~print_tokens:print_tokens (IO.string_of_stdin ())