Tribble codec for JSON