Little refactoring in debugger libraries