Symbol server (chapter 8)