let prerr_endline _ = ()