Re: [Crash-utility] user defined symbol