Right now it just calls fprintf(), but in the future, it will properly encode a string for JSON output.