namespace System.Runtime.Intrinsics.X86
{
    [CLSCompliant(false)]
    public abstract class Avx : Sse42
    {
        public static Vector128<int> ExtractVector128(Vector256<int> value, [ConstantExpected] byte index);
    }
}