(module Js_json)