let
prerr_endline _ = ()