Can probably be debuggerToString() const;