Some more work in TDebugState's constructor