JSON dump utility.