work on msgp-to-json decoding