debugging-section no longer exists