serialization via picojson