// Generated by Fuzzlyn v1.6 on 2023-09-03 15:59:01
// Run on X64 Windows
// Seed: 11520325105937570553
// Reduced from 294.5 KiB to 0.7 KiB in 00:04:32
// Debug: Outputs False
// Release: Outputs True
public class Program
{
public static IRuntime s_rt;
public static void Main()
{
s_rt = new Runtime();
bool vr1 = default(bool);
try
{
long[] vr2 = default(long[]);
var vr3 = vr2[0];
bool vr4 = default(bool);
vr1 = !vr4;
}
finally
{
ref bool vr5 = ref vr1;
s_rt.WriteLine(vr5);
}
}
}
public interface IRuntime
{
void WriteLine<T>(T value);
}
public class Runtime : IRuntime
{
public void WriteLine<T>(T value) => System.Console.WriteLine(value);
}