Finished code for loading symbols in the ProcessDebugger implementation...