Symbolic_debugger loading ...