// Generated by Fuzzlyn v2.0 on 2024-07-25 14:01:07
// Run on Arm64 Windows
// Seed: 15104036987171876681-vectort,vector64,vector128,armadvsimd,armadvsimdarm64,armaes,armarmbase,armarmbasearm64,armcrc32,armcrc32arm64,armdp,armsha1,armsha256,armsve
// Reduced from 16.0 KiB to 0.4 KiB in 00:00:39
// Debug: Throws 'System.ArgumentOutOfRangeException'
// Release: Runs successfully
using System;
using System.Runtime.CompilerServices;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;

public class Program
{
    public static void Main()
    {
        var vr5 = Vector64.Create(0, 0);
        var vr6 = Vector64.CreateScalar(1);
        var vr7 = (byte)Sve.Count16BitElements();
        AdvSimd.ExtractVector64(vr5, vr6, vr7);
    }
}