How the Debugger Recognizes Symbols