More efficient deserialization