faster deserialization