debugging session deserialization