configured with DebugKit