Implementación de DebugKit