Update json_codec.h