let print_to_stdout (s : string) : unit = print_endline s