let prf_of_stdin ?(print_trace = false) ?(print_tokens = false) () = prf_of_prf_raw (prf_raw_of_stdin ~print_trace:print_trace ~print_tokens:print_tokens ())