public static int Main()
 {
     UInt64IConvertibleToUInt32 ui64ictuint32 = new UInt64IConvertibleToUInt32();
     TestLibrary.TestFramework.BeginTestCase("UInt64IConvertibleToUInt32");
     if (ui64ictuint32.RunTests())
     {
         TestLibrary.TestFramework.EndTestCase();
         TestLibrary.TestFramework.LogInformation("PASS");
         return 100;
     }
     else
     {
         TestLibrary.TestFramework.EndTestCase();
         TestLibrary.TestFramework.LogInformation("FAIL");
         return 0;
     }
 }
    public static int Main()
    {
        UInt64IConvertibleToUInt32 ui64ictuint32 = new UInt64IConvertibleToUInt32();

        TestLibrary.TestFramework.BeginTestCase("UInt64IConvertibleToUInt32");
        if (ui64ictuint32.RunTests())
        {
            TestLibrary.TestFramework.EndTestCase();
            TestLibrary.TestFramework.LogInformation("PASS");
            return(100);
        }
        else
        {
            TestLibrary.TestFramework.EndTestCase();
            TestLibrary.TestFramework.LogInformation("FAIL");
            return(0);
        }
    }