// Generated by Fuzzlyn v1.2 on 2021-06-13 00:28:44
// Seed: 3271777432388482561
// Reduced from 81.8 KiB to 0.3 KiB in 00:01:03
// Debug: Outputs 1
// Release: Outputs 0
public class Program
{
    public static void Main()
    {
        uint[] vr1 = new uint[] { 0 };
        for (int vr2 = 0; vr2 < 2; vr2++)
        {
            vr1[0] = 1;
            var vr3 = vr1[0];
            System.Console.WriteLine(vr3);
        }
    }
}

// Generated by Fuzzlyn v1.2 on 2021-06-13 01:10:47
// Seed: 15404436673887137956
// Reduced from 66.4 KiB to 0.3 KiB in 00:00:53
// Debug: Outputs 1
// Release: Outputs 0
public class Program
{
    static uint[] s_16 = new uint[]{0};
    public static void Main()
    {
        ref uint vr0 = ref s_16[0];
        for (int vr1 = 0; vr1 < 2; vr1++)
        {
            vr0 = 1;
            vr0 = vr0;
        }

        System.Console.WriteLine(s_16[0]);
    }
}