value print_date d = Printf.printf "\"%s\"" (date_to_string d)