[redshirt]

Seems like if you want to migrate between big-little which they currently have then you can’t have things like differing avx widths…just a hunch.