lib: export json