[Crash-utility] Question about extension modules