Re: [Crash-utility] [RFC] Crash extension for SystemTap