customizable JSON decoder/encoder
