foo86 <foobaz86 <at> gmail.com> writes:
> + { "core_only", "Decode core only without extensions",
I am really all for this patch, but it would be much nicer
to all users if this were "disable_xch" and "disable_xll"
instead (or in addition).
Thank you, Carl Eugen