Match #6589

ICC2 RO32: (KSTBAD) vs (aszhes)