Started implementing TDebugState's constructor