debugger symbols