Using loose JSON encoding