// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the Apache 2.0 License.
// See the LICENSE file in the project root for more information.

using System;
using System.Collections;
using System.Collections.Generic;
using System.Numerics;
using System.Runtime.InteropServices;

using Microsoft.Scripting.Runtime;
using Microsoft.Scripting.Utils;

using IronPython.Runtime;
using IronPython.Runtime.Types;

namespace IronPythonTest {
    [Flags]
    public enum BindResult {
        None = 0,

        Bool = 1,
        Byte = 2,
        Char = 3,
        Decimal = 4,
        Double = 5,
        Float = 6,
        Int = 7,
        Long = 8,
        Object = 9,
        SByte = 10,
        Short = 11,
        String = 12,
        UInt = 13,
        ULong = 14,
        UShort = 15,

        Array = 0x1000,
        Out = 0x2000,
        Ref = 0x4000,
    }

    public class BindTest {
        public static object BoolValue = (bool)true;
        public static object ByteValue = (byte)0;
        public static object CharValue = (char)'\0';
        public static object DecimalValue = (decimal)0;
        public static object DoubleValue = (double)0;
        public static object FloatValue = (float)0;
        public static object IntValue = (int)0;
        public static object LongValue = (long)0;
        public static object ObjectValue = (object)new Hashtable();
        public static object SByteValue = (sbyte)0;
        public static object ShortValue = (short)0;
        public static object StringValue = (string)String.Empty;
        public static object UIntValue = (uint)0;
        public static object ULongValue = (ulong)0;
        public static object UShortValue = (ushort)0;

        public static BindResult Bind() { return BindResult.None; }

        public static BindResult Bind(bool value) { return BindResult.Bool; }
        public static BindResult Bind(byte value) { return BindResult.Byte; }
        public static BindResult Bind(char value) { return BindResult.Char; }
        public static BindResult Bind(decimal value) { return BindResult.Decimal; }
        public static BindResult Bind(double value) { return BindResult.Double; }
        public static BindResult Bind(float value) { return BindResult.Float; }
        public static BindResult Bind(int value) { return BindResult.Int; }
        public static BindResult Bind(long value) { return BindResult.Long; }
        public static BindResult Bind(object value) { return BindResult.Object; }
        public static BindResult Bind(sbyte value) { return BindResult.SByte; }
        public static BindResult Bind(short value) { return BindResult.Short; }
        public static BindResult Bind(string value) { return BindResult.String; }
        public static BindResult Bind(uint value) { return BindResult.UInt; }
        public static BindResult Bind(ulong value) { return BindResult.ULong; }
        public static BindResult Bind(ushort value) { return BindResult.UShort; }

        public static BindResult Bind(bool[] value) { return BindResult.Bool | BindResult.Array; }
        public static BindResult Bind(byte[] value) { return BindResult.Byte | BindResult.Array; }
        public static BindResult Bind(char[] value) { return BindResult.Char | BindResult.Array; }
        public static BindResult Bind(decimal[] value) { return BindResult.Decimal | BindResult.Array; }
        public static BindResult Bind(double[] value) { return BindResult.Double | BindResult.Array; }
        public static BindResult Bind(float[] value) { return BindResult.Float | BindResult.Array; }
        public static BindResult Bind(int[] value) { return BindResult.Int | BindResult.Array; }
        public static BindResult Bind(long[] value) { return BindResult.Long | BindResult.Array; }
        public static BindResult Bind(object[] value) { return BindResult.Object | BindResult.Array; }
        public static BindResult Bind(sbyte[] value) { return BindResult.SByte | BindResult.Array; }
        public static BindResult Bind(short[] value) { return BindResult.Short | BindResult.Array; }
        public static BindResult Bind(string[] value) { return BindResult.String | BindResult.Array; }
        public static BindResult Bind(uint[] value) { return BindResult.UInt | BindResult.Array; }
        public static BindResult Bind(ulong[] value) { return BindResult.ULong | BindResult.Array; }
        public static BindResult Bind(ushort[] value) { return BindResult.UShort | BindResult.Array; }

        public static BindResult Bind(out bool value) { value = false; return BindResult.Bool | BindResult.Out; }
        public static BindResult Bind(out byte value) { value = 0; return BindResult.Byte | BindResult.Out; }
        public static BindResult Bind(out char value) { value = '\0'; return BindResult.Char | BindResult.Out; }
        public static BindResult Bind(out decimal value) { value = 0; return BindResult.Decimal | BindResult.Out; }
        public static BindResult Bind(out double value) { value = 0; return BindResult.Double | BindResult.Out; }
        public static BindResult Bind(out float value) { value = 0; return BindResult.Float | BindResult.Out; }
        public static BindResult Bind(out int value) { value = 0; return BindResult.Int | BindResult.Out; }
        public static BindResult Bind(out long value) { value = 0; return BindResult.Long | BindResult.Out; }
        public static BindResult Bind(out object value) { value = null; return BindResult.Object | BindResult.Out; }
        public static BindResult Bind(out sbyte value) { value = 0; return BindResult.SByte | BindResult.Out; }
        public static BindResult Bind(out short value) { value = 0; return BindResult.Short | BindResult.Out; }
        public static BindResult Bind(out string value) { value = null; return BindResult.String | BindResult.Out; }
        public static BindResult Bind(out uint value) { value = 0; return BindResult.UInt | BindResult.Out; }
        public static BindResult Bind(out ulong value) { value = 0; return BindResult.ULong | BindResult.Out; }
        public static BindResult Bind(out ushort value) { value = 0; return BindResult.UShort | BindResult.Out; }

        public static BindResult BindRef(ref bool value) { value = false; return BindResult.Bool | BindResult.Ref; }
        public static BindResult BindRef(ref byte value) { value = 0; return BindResult.Byte | BindResult.Ref; }
        public static BindResult BindRef(ref char value) { value = '\0'; return BindResult.Char | BindResult.Ref; }
        public static BindResult BindRef(ref decimal value) { value = 0; return BindResult.Decimal | BindResult.Ref; }
        public static BindResult BindRef(ref double value) { value = 0; return BindResult.Double | BindResult.Ref; }
        public static BindResult BindRef(ref float value) { value = 0; return BindResult.Float | BindResult.Ref; }
        public static BindResult BindRef(ref int value) { value = 0; return BindResult.Int | BindResult.Ref; }
        public static BindResult BindRef(ref long value) { value = 0; return BindResult.Long | BindResult.Ref; }
        public static BindResult BindRef(ref object value) { value = null; return BindResult.Object | BindResult.Ref; }
        public static BindResult BindRef(ref sbyte value) { value = 0; return BindResult.SByte | BindResult.Ref; }
        public static BindResult BindRef(ref short value) { value = 0; return BindResult.Short | BindResult.Ref; }
        public static BindResult BindRef(ref string value) { value = null; return BindResult.String | BindResult.Ref; }
        public static BindResult BindRef(ref uint value) { value = 0; return BindResult.UInt | BindResult.Ref; }
        public static BindResult BindRef(ref ulong value) { value = 0; return BindResult.ULong | BindResult.Ref; }
        public static BindResult BindRef(ref ushort value) { value = 0; return BindResult.UShort | BindResult.Ref; }

        public static object ReturnTest(string type) {
            switch (type) {
                case "char": return 'a';
                case "object": return new object();
                case "null": return null;
#if FEATURE_COM
                case "com":
#pragma warning disable CA1416 // Validate platform compatibility
                    Type t = Type.GetTypeFromProgID("JScript");
#pragma warning restore CA1416 // Validate platform compatibility
                    return Activator.CreateInstance(t);
#endif
            }
            throw new NotImplementedException("unknown type");
        }
    }

    namespace DispatchHelpers {
        public class B { }
        public class D : B { }

        public interface I { }
        public class C1 : I { }
        public class C2 : I { }

        public enum Color { Red, Blue }
    }

    public class Dispatch {
        public static int Flag = 0;

        public void M1(int arg) { Flag = 101; }
        public void M1(DispatchHelpers.Color arg) { Flag = 201; }

        public void M2(int arg) { Flag = 102; }
        public void M2(int arg, params int[] arg2) { Flag = 202; }

        public void M3(int arg) { Flag = 103; }
        public void M3(int arg, int arg2) { Flag = 203; }

        public void M4(int arg) { Flag = 104; }
        public void M4(int arg, __arglist) { Flag = 204; }

        public void M5(float arg) { Flag = 105; }
        public void M5(double arg) { Flag = 205; }

        public void M6(char arg) { Flag = 106; }
        public void M6(string arg) { Flag = 206; }

        public void M7(int arg) { Flag = 107; }
        public void M7(params int[] args) { Flag = 207; }

        public void M8(int arg) { Flag = 108; }
        public void M8(ref int arg) { Flag = 208; arg = 999; }

        public void M10(ref int arg) { Flag = 210; arg = 999; }

        public void M11(int arg, int arg2) { Flag = 111; }
        public void M11(DispatchHelpers.Color arg, int arg2) { Flag = 211; }

        public void M12(int arg, DispatchHelpers.Color arg2) { Flag = 112; }
        public void M12(DispatchHelpers.Color arg, int arg2) { Flag = 212; }

        public void M20(DispatchHelpers.B arg) { Flag = 120; }

        public void M22(DispatchHelpers.B arg) { Flag = 122; }
        public void M22(DispatchHelpers.D arg) { Flag = 222; }

        public void M23(DispatchHelpers.I arg) { Flag = 123; }
        public void M23(DispatchHelpers.C2 arg) { Flag = 223; }

        public void M50(params DispatchHelpers.B[] args) { Flag = 150; }

        public void M51(params DispatchHelpers.B[] args) { Flag = 151; }
        public void M51(params DispatchHelpers.D[] args) { Flag = 251; }

        public void M60(int? arg) { Flag = 160; }

        public void M70(Dispatch arg) { Flag = 170; }
        public static void M71(Dispatch arg) { Flag = 171; }

        public static void M81(Dispatch arg, int arg2) { Flag = 181; }
        public void M81(int arg) { Flag = 281; }

        public static void M82(bool arg) { Flag = 182; }
        public static void M82(string arg) { Flag = 282; }

        public void M83(bool arg) { Flag = 183; }
        public void M83(string arg) { Flag = 283; }

        public void M90<T>(int arg) { Flag = 190; }

        public void M91(int arg) { Flag = 191; }
        public void M91<T>(int arg) { Flag = 291; }

        public static int M92(out int i, out int j, out int k, bool boolIn) {
            i = 1;
            j = 2;
            k = 3;
            Flag = 192;
            return boolIn ? 4 : 5;
        }

        public int M93(out int i, out int j, out int k, bool boolIn) {
            i = 1;
            j = 2;
            k = 3;
            Flag = 193;
            return boolIn ? 4 : 5;
        }

        public int M94(out int i, out int j, bool boolIn, out int k) {
            i = 1;
            j = 2;
            k = 3;
            Flag = 194;
            return boolIn ? 4 : 5;
        }

        public static int M95(out int i, out int j, bool boolIn, out int k) {
            i = 1;
            j = 2;
            k = 3;
            Flag = 195;
            return boolIn ? 4 : 5;
        }

        public static int M96(out int x, out int j, params int[] extras) {
            x = 1;
            j = 2;
            int res = 0;
            for (int i = 0; i < extras.Length; i++) res += extras[i];
            Flag = 196;
            return res;
        }

        public int M97(out int x, out int j, params int[] extras) {
            x = 1;
            j = 2;
            int res = 0;
            for (int i = 0; i < extras.Length; i++) res += extras[i];
            Flag = 197;
            return res;
        }

        public void M98(string a, string b, string c, string d, out int x, ref Dispatch di) {
            x = Convert.ToInt32(a) + Convert.ToInt32(b) + Convert.ToInt32(c) + Convert.ToInt32(d);

            di = this;

            Flag = 198;
        }
        
        public Single P01 {
            get; set;
        }
    }

    public class DispatchBase {
        public virtual void M1(int arg) { Dispatch.Flag = 101; }
        public virtual void M2(int arg) { Dispatch.Flag = 102; }
        public virtual void M3(int arg) { Dispatch.Flag = 103; }
        public void M4(int arg) { Dispatch.Flag = 104; }
        public virtual void M5(int arg) { Dispatch.Flag = 105; }
        public virtual void M6(int arg) { Dispatch.Flag = 106; }
    }

    public class DispatchDerived : DispatchBase {
        public override void M1(int arg) { Dispatch.Flag = 201; }
        public virtual void M2(DispatchHelpers.Color arg) { Dispatch.Flag = 202; }
        public virtual void M3(string arg) { Dispatch.Flag = 203; }
        public void M4(string arg) { Dispatch.Flag = 204; }
        public new virtual void M5(int arg) { Dispatch.Flag = 205; }
    }

    public class ConversionDispatch {
        public object Array(object[] arr) {
            return arr;
        }

        public object IntArray(int[] arr) {
            return arr;
        }

        public object StringArray(string[] arr) {
            return arr;
        }

        public object Enumerable(IEnumerable<object> enm) {
            return enm;
        }

        public object StringEnumerable(IEnumerable<string> enm) {
            return enm;
        }

        public object StringEnumerator(IEnumerator<string> enm) {
            return enm;
        }

        public object ObjectEnumerator(IEnumerator<object> enm) {
            return enm;
        }

        public object NonGenericEnumerator(IEnumerator enm) {
            return enm;
        }

        public object IntEnumerable(IEnumerable<int> enm) {
            return enm;
        }

        public object ObjIList(IList<object> list) {
            return list;
        }

        public object IntIList(IList<int> list) {
            return list;
        }

        public object StringIList(IList<string> list) {
            return list;
        }

        public object ObjList(List<object> list) {
            return list;
        }

        public object IntList(List<int> list) {
            return list;
        }

        public object StringList(List<string> list) {
            return list;
        }

        public object DictTest(IDictionary<object, object> dict) {
            return dict;
        }

        public object IntDictTest(IDictionary<int, int> dict) {
            return dict;
        }

        public object StringDictTest(IDictionary<string, string> dict) {
            return dict;
        }

        public object MixedDictTest(IDictionary<string, int> dict) {
            return dict;
        }

        public object ArrayList(System.Collections.ArrayList list) {
            return list;
        }

        public object HashtableTest(Hashtable dict) {
            return dict;
        }
    }

    public class MixedDispatch {
        public string instance_name;
        public string called;

        public MixedDispatch(string name) {
            instance_name = name;
        }

        public static object Combine(MixedDispatch md1, MixedDispatch md2) {
            MixedDispatch md_res = new MixedDispatch(md1.instance_name + md2.instance_name);
            md_res.called = "static";
            return md_res;
        }

        public object Combine(MixedDispatch other) {
            MixedDispatch md_res = new MixedDispatch(other.instance_name + instance_name);
            md_res.called = "instance";
            return md_res;
        }


        public object Combine2(MixedDispatch other) {
            MixedDispatch md_res = new MixedDispatch(other.instance_name + instance_name);
            md_res.called = "instance";
            return md_res;
        }

        public static object Combine2(MixedDispatch md1, MixedDispatch md2) {
            MixedDispatch md_res = new MixedDispatch(md1.instance_name + md2.instance_name);
            md_res.called = "static";
            return md_res;
        }

        public object Combine2(MixedDispatch other, MixedDispatch other2, MixedDispatch other3) {
            MixedDispatch md_res = new MixedDispatch(other.instance_name + instance_name + other2.instance_name + other3.instance_name);
            md_res.called = "instance_three";
            return md_res;
        }
    }

    public class FieldTest {
        public IList<Type> Field;
    }

    public class ComparisonTest {
        public delegate void Reporter(string name);
        public double value;
        public static Reporter report;
        public ComparisonTest(double value) {
            this.value = value;
        }
        public override string ToString() {
            return string.Format(System.Globalization.CultureInfo.InvariantCulture, "ct<{0}>", value);
        }
        public static bool operator <(ComparisonTest x, ComparisonTest y) {
            Report("<", x, y);
            return x.value < y.value;
        }
        public static bool operator >(ComparisonTest x, ComparisonTest y) {
            Report(">", x, y);
            return x.value > y.value;
        }
        public static bool operator <=(ComparisonTest x, ComparisonTest y) {
            Report("<=", x, y);
            return x.value <= y.value;
        }
        public static bool operator >=(ComparisonTest x, ComparisonTest y) {
            Report(">=", x, y);
            return x.value >= y.value;
        }
        private static void Report(string op, ComparisonTest x, ComparisonTest y) =>
            report?.Invoke(string.Format("{0} on [{1}, {2}]", op, x, y));
    }

    public enum BigEnum : long {
        None,
        BigValue = UInt32.MaxValue,
    }

    public class DefaultValueTest {
        public BindResult Test_Enum(BindResult param=BindResult.Bool) {
            return param;
        }

        public BigEnum Test_BigEnum(BigEnum param=BigEnum.BigValue) {
            return param;
        }

        public string Test_String(string param="Hello World") {
            return param;
        }

        public int Test_Int(int param=5) {
            return param;
        }

        public uint Test_UInt(uint param=uint.MaxValue) {
            return param;
        }

        public bool Test_Bool(bool param=true) {
            return param;
        }

        public char Test_Char(char param='A') {
            return param;
        }

        public byte Test_Byte(byte param=2) {
            return param;
        }

        public sbyte Test_SByte(sbyte param=2) {
            return param;
        }

        public short Test_Short(short param=2) {
            return param;
        }

        public ushort Test_UShort(ushort param=2) {
            return param;
        }

        public long Test_Long(long param=long.MaxValue) {
            return param;
        }

        public ulong Test_ULong(ulong param=ulong.MaxValue) {
            return param;
        }

        public string Test_ByRef_Object([In, Optional] ref object o1, [In, Optional] ref object o2, [In, Optional] ref object o3) {
            return (o1 == null ? "(null)" : o1.ToString()) + "; " +
                   (o2 == null ? "(null)" : o2.ToString()) + "; " +
                   (o3 == null ? "(null)" : o3.ToString());
        }

        public string Test_Default_ValueType([DefaultParameterValue(1)] object o) {
            return o == null ? "(null)" : o.ToString();
        }

        public string Test_Default_Cast([Optional, DefaultParameterValue(1)]ref object o) {
            return o == null ? "(null)" : o.ToString();
        }
    }

    public struct Structure {
        public int a;
        public float b;
        public double c;
        public decimal d;
        public string e;
        public Hashtable f;
    }

    public class MissingValueTest {
        public static string Test_1([In, Optional] bool o) { return "(bool)" + o.ToString(); }
        public static string Test_2([In, Optional] ref bool o) { return "(bool)" + o.ToString(); }

        public static string Test_3([In, Optional] sbyte o) { return "(sbyte)" + o.ToString(); }
        public static string Test_4([In, Optional] ref sbyte o) { return "(sbyte)" + o.ToString(); }

        public static string Test_5([In, Optional] byte o) { return "(byte)" + o.ToString(); }
        public static string Test_6([In, Optional] ref byte o) { return "(byte)" + o.ToString(); }

        public static string Test_7([In, Optional] short o) { return "(short)" + o.ToString(); }
        public static string Test_8([In, Optional] ref short o) { return "(short)" + o.ToString(); }

        public static string Test_9([In, Optional] ushort o) { return "(ushort)" + o.ToString(); }
        public static string Test_10([In, Optional] ref ushort o) { return "(ushort)" + o.ToString(); }

        public static string Test_11([In, Optional] int o) { return "(int)" + o.ToString(); }
        public static string Test_12([In, Optional] ref int o) { return "(int)" + o.ToString(); }

        public static string Test_13([In, Optional] uint o) { return "(uint)" + o.ToString(); }
        public static string Test_14([In, Optional] ref uint o) { return "(uint)" + o.ToString(); }

        public static string Test_15([In, Optional] long o) { return "(long)" + o.ToString(); }
        public static string Test_16([In, Optional] ref long o) { return "(long)" + o.ToString(); }

        public static string Test_17([In, Optional] ulong o) { return "(ulong)" + o.ToString(); }
        public static string Test_18([In, Optional] ref ulong o) { return "(ulong)" + o.ToString(); }

        public static string Test_19([In, Optional] decimal o) { return "(decimal)" + o.ToString(); }
        public static string Test_20([In, Optional] ref decimal o) { return "(decimal)" + o.ToString(); }

        public static string Test_21([In, Optional] float o) { return "(float)" + o.ToString(); }
        public static string Test_22([In, Optional] ref float o) { return "(float)" + o.ToString(); }

        public static string Test_23([In, Optional] double o) { return "(double)" + o.ToString(); }
        public static string Test_24([In, Optional] ref double o) { return "(double)" + o.ToString(); }

        public static string Test_25([In, Optional] DaysByte o) { return "(DaysByte)" + o.ToString(); }
        public static string Test_26([In, Optional] ref DaysByte o) { return "(DaysByte)" + o.ToString(); }

        public static string Test_27([In, Optional] DaysSByte o) { return "(DaysSByte)" + o.ToString(); }
        public static string Test_28([In, Optional] ref DaysSByte o) { return "(DaysSByte)" + o.ToString(); }

        public static string Test_29([In, Optional] DaysShort o) { return "(DaysShort)" + o.ToString(); }
        public static string Test_30([In, Optional] ref DaysShort o) { return "(DaysShort)" + o.ToString(); }

        public static string Test_31([In, Optional] DaysUShort o) { return "(DaysUShort)" + o.ToString(); }
        public static string Test_32([In, Optional] ref DaysUShort o) { return "(DaysUShort)" + o.ToString(); }

        public static string Test_33([In, Optional] DaysInt o) { return "(DaysInt)" + o.ToString(); }
        public static string Test_34([In, Optional] ref DaysInt o) { return "(DaysInt)" + o.ToString(); }

        public static string Test_35([In, Optional] DaysUInt o) { return "(DaysUInt)" + o.ToString(); }
        public static string Test_36([In, Optional] ref DaysUInt o) { return "(DaysUInt)" + o.ToString(); }

        public static string Test_37([In, Optional] DaysLong o) { return "(DaysLong)" + o.ToString(); }
        public static string Test_38([In, Optional] ref DaysLong o) { return "(DaysLong)" + o.ToString(); }

        public static string Test_39([In, Optional] DaysULong o) { return "(DaysULong)" + o.ToString(); }
        public static string Test_40([In, Optional] ref DaysULong o) { return "(DaysULong)" + o.ToString(); }

        public static string Test_41([In, Optional] char o) { return "(char)" + o.ToString(); }
        public static string Test_42([In, Optional] ref char o) { return "(char)" + o.ToString(); }

        public static string Test_43([In, Optional] Structure o) { return "(Structure)" + o.ToString(); }
        public static string Test_44([In, Optional] ref Structure o) { return "(Structure)" + o.ToString(); }

        public static string Test_45([In, Optional] EnumSByte o) { return "(EnumSByte)" + o.ToString(); }
        public static string Test_46([In, Optional] ref EnumSByte o) { return "(EnumSByte)" + o.ToString(); }

        public static string Test_47([In, Optional] EnumByte o) { return "(EnumByte)" + o.ToString(); }
        public static string Test_48([In, Optional] ref EnumByte o) { return "(EnumByte)" + o.ToString(); }

        public static string Test_49([In, Optional] EnumShort o) { return "(EnumShort)" + o.ToString(); }
        public static string Test_50([In, Optional] ref EnumShort o) { return "(EnumShort)" + o.ToString(); }

        public static string Test_51([In, Optional] EnumUShort o) { return "(EnumUShort)" + o.ToString(); }
        public static string Test_52([In, Optional] ref EnumUShort o) { return "(EnumUShort)" + o.ToString(); }

        public static string Test_53([In, Optional] EnumInt o) { return "(EnumInt)" + o.ToString(); }
        public static string Test_54([In, Optional] ref EnumInt o) { return "(EnumInt)" + o.ToString(); }

        public static string Test_55([In, Optional] EnumUInt o) { return "(EnumUInt)" + o.ToString(); }
        public static string Test_56([In, Optional] ref EnumUInt o) { return "(EnumUInt)" + o.ToString(); }

        public static string Test_57([In, Optional] EnumLong o) { return "(EnumLong)" + o.ToString(); }
        public static string Test_58([In, Optional] ref EnumLong o) { return "(EnumLong)" + o.ToString(); }

        public static string Test_59([In, Optional] EnumULong o) { return "(EnumULong)" + o.ToString(); }
        public static string Test_60([In, Optional] ref EnumULong o) { return "(EnumULong)" + o.ToString(); }

        public static string Test_61([In, Optional] string o) { return "(string)" + (o == null ? "(null)" : o); }
        public static string Test_62([In, Optional] ref string o) { return "(string)" + (o == null ? "(null)" : o); }

        public static string Test_63([In, Optional] object o) { return "(object)" + (o == null ? "(null)" : o.ToString()); }
        public static string Test_64([In, Optional] ref object o) { return "(object)" + (o == null ? "(null)" : o.ToString()); }

        public static string Test_65([In, Optional] MissingValueTest o) { return "(MissingValueTest)" + (o == null ? "(null)" : o.ToString()); }
        public static string Test_66([In, Optional] ref MissingValueTest o) { return "(MissingValueTest)" + (o == null ? "(null)" : o.ToString()); }
    }

    public class DispatchAgain {
        // ***************** OptimizedFunctionX *****************
        public string IM0() { return "IM0"; }
        public string IM1(int arg1) { return "IM1"; }
        public string IM2(int arg1, int arg2) { return "IM2"; }
        public string IM3(int arg1, int arg2, int arg3) { return "IM3"; }
        public string IM4(int arg1, int arg2, int arg3, int arg4) { return "IM4"; }
        public string IM5(int arg1, int arg2, int arg3, int arg4, int arg5) { return "IM5"; }
        public string IM6(int arg1, int arg2, int arg3, int arg4, int arg5, int arg6) { return "IM6"; }

        public static string SM0() { return "SM0"; }
        public static string SM1(int arg1) { return "SM1"; }
        public static string SM2(int arg1, int arg2) { return "SM2"; }
        public static string SM3(int arg1, int arg2, int arg3) { return "SM3"; }
        public static string SM4(int arg1, int arg2, int arg3, int arg4) { return "SM4"; }
        public static string SM5(int arg1, int arg2, int arg3, int arg4, int arg5) { return "SM5"; }
        public static string SM6(int arg1, int arg2, int arg3, int arg4, int arg5, int arg6) { return "SM6"; }

        // ***************** OptimizedFunctionN *****************
        public string IPM0(params int[] args) { return "IPM0-" + args.Length; }
        public static string SPM0(params int[] args) { return "SPM0-" + args.Length; }

        // suppose to be optimized?
        public string IPM1(int arg1, params int[] args) { return "IPM1-" + args.Length; }
        public static string SPM1(int arg1, params int[] args) { return "SPM1-" + args.Length; }

        // ***************** OptimizedFunctionAny *****************
        // 1. miss 1, 2 arguments, and no params
        public string IDM0() { return "IDM0-0"; }
        public string IDM0(int arg1, int arg2, int arg3) { return "IDM0-3"; }
        public string IDM0(int arg1, int arg2, int arg3, int arg4) { return "IDM0-4"; }

        public static string SDM0() { return "SDM0-0"; }
        public static string SDM0(int arg1, int arg2, int arg3) { return "SDM0-3"; }

        // 2. miss 0, 3, 4 arguments, but have params
        public string IDM1(int arg1) { return "IDM1-1"; }
        public string IDM1(params int[] args) { return "IDM1-x"; }

        public static string SDM1(int arg1) { return "SDM1-1"; }
        public static string SDM1(params int[] args) { return "SDM1-x"; }

        public string IDM4(int arg1, int arg2) { return "IDM4-2"; }
        public string IDM4(params int[] args) { return "IDM4-x"; }

        public static string SDM4(int arg1, int arg2) { return "SDM4-2"; }
        public static string SDM4(params int[] args) { return "SDM4-x"; }

        // 3. this is optimizated, and have all cases without params
        public string IDM2() { return "IDM2-0"; }
        public string IDM2(int arg1) { return "IDM2-1"; }
        public string IDM2(int arg1, int arg2) { return "IDM2-2"; }
        public string IDM2(int arg1, int arg2, int arg3) { return "IDM2-3"; }
        public string IDM2(int arg1, int arg2, int arg3, int arg4) { return "IDM2-4"; }

        public static string SDM2() { return "SDM2-0"; }
        public static string SDM2(int arg1) { return "SDM2-1"; }
        public static string SDM2(int arg1, int arg2) { return "SDM2-2"; }
        public static string SDM2(int arg1, int arg2, int arg3) { return "SDM2-3"; }
        public static string SDM2(int arg1, int arg2, int arg3, int arg4) { return "SDM2-4"; }
        public static string SDM2(int arg1, int arg2, int arg3, int arg4, int arg5) { return "SDM2-5"; }

        // 4. this is not optimized
        public string IDM5() { return "IDM5-0"; }
        public string IDM5(int arg1, int arg2, int arg3, int arg4, int arg5) { return "IDM5-5"; }

        public static string SDM5() { return "SDM5-0"; }
        public static string SDM5(int arg1, int arg2, int arg3, int arg4, int arg5, int arg6) { return "SDM5-6"; }

        // 5. this is optimizated, and have all cases, with params
        public string IDM3() { return "IDM3-0"; }
        public string IDM3(int arg1) { return "IDM3-1"; }
        public string IDM3(int arg1, int arg2) { return "IDM3-2"; }
        public string IDM3(int arg1, int arg2, int arg3) { return "IDM3-3"; }
        public string IDM3(int arg1, int arg2, int arg3, int arg4) { return "IDM3-4"; }
        public string IDM3(params int[] args) { return "IDM3-x"; }

        public static string SDM3() { return "SDM3-0"; }
        public static string SDM3(int arg1) { return "SDM3-1"; }
        public static string SDM3(int arg1, int arg2) { return "SDM3-2"; }
        public static string SDM3(int arg1, int arg2, int arg3) { return "SDM3-3"; }
        public static string SDM3(int arg1, int arg2, int arg3, int arg4) { return "SDM3-4"; }
        public static string SDM3(int arg1, int arg2, int arg3, int arg4, int arg5) { return "SDM3-5"; }
        public static string SDM3(params int[] args) { return "SDM3-x"; }
    }

    public class MultiCall {
        public int M0(int arg) { return 1; }
        public int M0(long arg) { return 2; }

        public int M1(int arg) { return 1; }
        public int M1(long arg) { return 2; }
        public int M1(object arg) { return 3; }

        public int M2(int arg1, int arg2) { return 1; }
        public int M2(long arg1, int arg2) { return 2; }
        public int M2(int arg1, long arg2) { return 3; }
        public int M2(long arg1, long arg2) { return 4; }
        public int M2(object arg1, object arg2) { return 5; }

        public int M4(int arg1, int arg2, int arg3, int arg4) { return 1; }
        public int M4(object arg1, object arg2, object arg3, object arg4) { return 2; }

        public int M5(DispatchHelpers.B arg1, DispatchHelpers.B args) { return 1; }
        public int M5(DispatchHelpers.D arg1, DispatchHelpers.B args) { return 2; }
        public int M5(object arg1, object args) { return 3; }

        public int M6(DispatchHelpers.B arg1, DispatchHelpers.B args) { return 1; }
        public int M6(DispatchHelpers.B arg1, DispatchHelpers.D args) { return 2; }
        public int M6(object arg1, DispatchHelpers.D args) { return 3; }

        public int M7(DispatchHelpers.B arg1, DispatchHelpers.B args) { return 1; }
        public int M7(DispatchHelpers.B arg1, DispatchHelpers.D args) { return 2; }
        public int M7(DispatchHelpers.D arg1, DispatchHelpers.B args) { return 3; }
        public int M7(DispatchHelpers.D arg1, DispatchHelpers.D args) { return 4; }

        public int M8(int arg1, int arg2) { return 1; }
        public int M8(DispatchHelpers.B arg1, DispatchHelpers.B args) { return 2; }
        public int M8(object arg1, object arg2) { return 3; }
    }

    public class GenericTypeInference {
        public static PythonType M0<T>(T x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M0CC<T>(CodeContext context, T x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M1<T>(T x, T y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M2<T>(T x, T y, T z) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M3<T>(params T[] x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M4<T>(T x, params T[] args) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M5<T>(T x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M6<T>(T x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M7<T>(T x) where T : IList {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonTuple M8<T0, T1>(T0 x, T1 y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public static PythonTuple M9<T0, T1>(object x, T1 y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public static PythonTuple M9b<T0, T1>(T0 x, object y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public static PythonTuple M10<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : T2 {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public static PythonTuple M10c<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : class {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public static PythonTuple M10IList<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : IList {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public static PythonTuple M10PythonTuple<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : PythonTuple {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public static PythonType M11<T>(object x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M12<T0, T1>(T0 x, object y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T0));
        }

        public static PythonTuple M13<T>(T x, Func<T> y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), y());
        }

        public static PythonType M14<T>(T x, Action<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonTuple M15<T>(T x, IList<T> y) {
            PythonTuple res = PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)));
            res += PythonTuple.Make(y);
            return res;
        }

        public static PythonTuple M16<T>(T x, Dictionary<T, IList<T>> y) {
            PythonTuple res = PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)));
            res += PythonTuple.Make(y);
            return res;
        }

        public static PythonType M17<T>(T x, IEnumerable<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        
        public static PythonType M18<T>(T x) where T : IEnumerable<T> {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonTuple M19<T0, T1>(T0 x, T1 y) where T0 : IList<T1> {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public static PythonTuple M20<T0, T1>(T0 x, T1 y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public static PythonType M21<T>(IEnumerable<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        // overloads like Enumerable.Where<T>(...)
        public static PythonTuple M22<T>(IEnumerable<T> x, Func<T, bool> y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), ScriptingRuntimeHelpers.True);
        }

        public static PythonTuple M22<T>(IEnumerable<T> x, Func<T, int, bool> y) {
            M23(new List<int>());
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), ScriptingRuntimeHelpers.False);
        }

        public static PythonType M23<T>(List<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M24<T>(List<List<T>> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M25<T>(Dictionary<T, T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M26<T>(List<T> x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M27<T>(List<T> x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M28<T>(List<T> x) where T : new() {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M29<T>(Dictionary<Dictionary<T, T>, Dictionary<T, T>> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M30<T>(Func<T, bool> x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M31<T>(Func<T, bool> x) where T : IList {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M32<T>(List<T> x) where T : new() {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M33<T>(List<T> x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M34<T>(IList<T> x, IList<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M35<T>(IList<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(IList<T>));
        }

        public static PythonType M35<T>(T[] x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T[]));
        }
    }

    public class SelfEnumerable : IEnumerable<SelfEnumerable> {
        #region IEnumerable<Test> Members

        IEnumerator<SelfEnumerable> IEnumerable<SelfEnumerable>.GetEnumerator() {
            throw new NotImplementedException();
        }

        #endregion

        #region IEnumerable Members

        IEnumerator IEnumerable.GetEnumerator() {
            throw new NotImplementedException();
        }

        #endregion
    }


    public class GenericTypeInferenceInstance {
        public PythonType MInst<T>(T x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M0<T>(T x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M0CC<T>(CodeContext context, T x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M1<T>(T x, T y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M2<T>(T x, T y, T z) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M3<T>(params T[] x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M4<T>(T x, params T[] args) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M5<T>(T x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M6<T>(T x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M7<T>(T x) where T : IList {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonTuple M8<T0, T1>(T0 x, T1 y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public PythonTuple M9<T0, T1>(object x, T1 y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public PythonTuple M9b<T0, T1>(T0 x, object y) where T0 : T1 {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public PythonTuple M10<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : T2 {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public PythonTuple M10c<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : class {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public PythonTuple M10IList<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : IList {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public PythonTuple M10PythonTuple<T0, T1, T2>(T0 x, T1 y, T2 z)
            where T0 : T1
            where T1 : PythonTuple {
            return PythonTuple.MakeTuple(
                DynamicHelpers.GetPythonTypeFromType(typeof(T0)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T1)),
                DynamicHelpers.GetPythonTypeFromType(typeof(T2))
            );
        }

        public PythonType M11<T>(object x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M12<T0, T1>(T0 x, object y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T0));
        }

        public PythonTuple M13<T>(T x, Func<T> y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), y());
        }

        public PythonType M14<T>(T x, Action<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonTuple M15<T>(T x, IList<T> y) {
            PythonTuple res = PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)));
            res += PythonTuple.Make(y);
            return res;
        }

        public PythonTuple M16<T>(T x, Dictionary<T, IList<T>> y) {
            PythonTuple res = PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)));
            res += PythonTuple.Make(y);
            return res;
        }

        public PythonType M17<T>(T x, IEnumerable<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }


        public PythonType M18<T>(T x) where T : IEnumerable<T> {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonTuple M19<T0, T1>(T0 x, T1 y) where T0 : IList<T1> {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public PythonTuple M20<T0, T1>(T0 x, T1 y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T0)), DynamicHelpers.GetPythonTypeFromType(typeof(T1)));
        }

        public PythonType M21<T>(IEnumerable<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        // overloads like Enumerable.Where<T>(...)
        public PythonTuple M22<T>(IEnumerable<T> x, Func<T, bool> y) {
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), ScriptingRuntimeHelpers.True);
        }

        public PythonTuple M22<T>(IEnumerable<T> x, Func<T, int, bool> y) {
            M23(new List<int>());
            return PythonTuple.MakeTuple(DynamicHelpers.GetPythonTypeFromType(typeof(T)), ScriptingRuntimeHelpers.False);
        }

        public PythonType M23<T>(List<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M24<T>(List<List<T>> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M25<T>(Dictionary<T, T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M26<T>(List<T> x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M27<T>(List<T> x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M28<T>(List<T> x) where T : new() {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M29<T>(Dictionary<Dictionary<T, T>, Dictionary<T, T>> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M30<T>(Func<T, bool> x) where T : struct {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M31<T>(Func<T, bool> x) where T : IList {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M32<T>(List<T> x) where T : new() {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M33<T>(List<T> x) where T : class {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public PythonType M34<T>(IList<T> x, IList<T> y) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T));
        }

        public static PythonType M35<T>(IList<T> x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(IList<T>));
        }

        public static PythonType M35<T>(T[] x) {
            return DynamicHelpers.GetPythonTypeFromType(typeof(T[]));
        }
    }

    public class WithCompare {
        public static bool Compare(object x, object y) {
            return true;
        }
    }

    public class BigIntCompare {

        private readonly BigInteger _value;
        public BigIntCompare(BigInteger value) => _value = value;

        public bool IsEqual(IEquatable<BigInteger> other) => other.Equals(_value);
        public int CompareTo(IComparable<BigInteger> other) => -other.CompareTo(_value);

        public BigInteger Value => _value;
    }
}
