Improved util.deserialize and util.serialize