initial spec for debugger