faster json decoding