// Generated by Fuzzlyn v2.1 on 2024-07-26 12:56:41
// Run on X64 Windows
// Seed: 13544108888657591911-vectort,vector128,vector256,x86aes,x86avx,x86avx2,x86bmi1,x86bmi1x64,x86bmi2,x86bmi2x64,x86fma,x86lzcnt,x86lzcntx64,x86pclmulqdq,x86popcnt,x86popcntx64,x86sse,x86ssex64,x86sse2,x86sse2x64,x86sse3,x86sse41,x86sse41x64,x86sse42,x86sse42x64,x86ssse3,x86x86base
// Reduced from 290.9 KiB to 0.6 KiB in 00:02:37
// Debug: Prints 1 line(s)
// Release: Prints 0 line(s)
using System;
using System.Runtime.CompilerServices;
using System.Numerics;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.X86;

public struct S0
{
    public int F0;
}

public struct S1
{
    public S0 F5;
}

public class Program
{
    public static S1 s_3;
    public static void Main()
    {
        var vr17 = Vector128.CreateScalar(2558356441U);
        var vr18 = Vector128.Create(0, 3113514718U, 0, 0);
        var vr19 = Sse2.ShiftRightLogical(vr17, vr18);
        if (0 >= Sse2.ConvertToUInt32(vr19))
        {
            S0 vr20 = s_3.F5;
            System.Console.WriteLine(vr20.F0);
        }
    }
}