Modified for new pandoc JSON format.

{"tag": "Str", "val": "foo"}