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