Possible (arguably safer) replacement for pickle in cookie serialization