use Ivshti's super-json