Test for JSON encoding