FILE: uintOperations.kt
    public final fun <T> R|T|.id(): R|T| {
        ^id this@R|/id|
    }
    public final const [EvaluatedValue=UInt(0)] val zeroVal: R|kotlin/UInt| = UInt(0)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val oneVal: R|kotlin/UInt| = UInt(1)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(2)] val twoVal: R|kotlin/UInt| = UInt(2)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(3)] val threeVal: R|kotlin/UInt| = UInt(3)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val fourVal: R|kotlin/UInt| = UInt(4)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=Byte(2)] val byteVal: R|kotlin/Byte| = Int(2).R|kotlin/Int.toByte|()
        public get(): R|kotlin/Byte|
    public final const [EvaluatedValue=Short(2)] val shortVal: R|kotlin/Short| = Int(2).R|kotlin/Int.toShort|()
        public get(): R|kotlin/Short|
    public final const [EvaluatedValue=Int(2)] val intVal: R|kotlin/Int| = Int(2)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Long(2)] val longVal: R|kotlin/Long| = Long(2)
        public get(): R|kotlin/Long|
    public final const [EvaluatedValue=UByte(2)] val ubyteVal: R|kotlin/UByte| = UInt(2).R|kotlin/UInt.toUByte|()
        public get(): R|kotlin/UByte|
    public final const [EvaluatedValue=UShort(2)] val ushortVal: R|kotlin/UShort| = UInt(2).R|kotlin/UInt.toUShort|()
        public get(): R|kotlin/UShort|
    public final const [EvaluatedValue=UInt(2)] val uintVal: R|kotlin/UInt| = UInt(2)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(2)] val ulongVal: R|kotlin/ULong| = ULong(2)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=Float(2.0)] val floatVal: R|kotlin/Float| = Float(2.0)
        public get(): R|kotlin/Float|
    public final const [EvaluatedValue=Double(2.0)] val doubleVal: R|kotlin/Double| = Double(2.0)
        public get(): R|kotlin/Double|
    public final const [EvaluatedValue=Int(-1)] val compareTo1: R|kotlin/Int| = R|/oneVal|.R|kotlin/UInt.compareTo|(R|/twoVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(0)] val compareTo2: R|kotlin/Int| = R|/twoVal|.R|kotlin/UInt.compareTo|(R|/twoVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(1)] val compareTo3: R|kotlin/Int| = R|/threeVal|.R|kotlin/UInt.compareTo|(R|/twoVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(0)] val compareTo4: R|kotlin/Int| = R|/twoVal|.R|kotlin/UInt.compareTo|(R|/ubyteVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(0)] val compareTo5: R|kotlin/Int| = R|/twoVal|.R|kotlin/UInt.compareTo|(R|/ushortVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Int(0)] val compareTo6: R|kotlin/Int| = R|/twoVal|.R|kotlin/UInt.compareTo|(R|/ulongVal|)
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=UInt(3)] val plus1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.plus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val plus2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.plus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(5)] val plus3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.plus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val plus4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.plus|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val plus5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.plus|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(4)] val plus6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.plus|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(-1)] val minus1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.minus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val minus2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.minus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val minus3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.minus|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val minus4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.minus|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val minus5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.minus|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(0)] val minus6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.minus|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(2)] val times1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.times|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val times2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.times|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(6)] val times3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.times|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val times4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.times|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(4)] val times5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.times|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(4)] val times6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.times|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(0)] val div1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.div|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val div2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.div|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val div3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.div|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val div4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.div|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val div5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.div|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(1)] val div6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.div|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(0)] val floorDiv1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.floorDiv|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val floorDiv2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.floorDiv|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val floorDiv3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.floorDiv|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val floorDiv4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.floorDiv|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val floorDiv5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.floorDiv|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(1)] val floorDiv6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.floorDiv|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(1)] val rem1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.rem|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val rem2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.rem|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val rem3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.rem|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val rem4: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.rem|(R|/ubyteVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val rem5: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.rem|(R|/ushortVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(0)] val rem6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.rem|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(1)] val mod1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.mod|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val mod2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.mod|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val mod3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.mod|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UByte(0)] val mod4: R|kotlin/UByte| = R|/twoVal|.R|kotlin/UInt.mod|(R|/ubyteVal|)
        public get(): R|kotlin/UByte|
    public final const [EvaluatedValue=UShort(0)] val mod5: R|kotlin/UShort| = R|/twoVal|.R|kotlin/UInt.mod|(R|/ushortVal|)
        public get(): R|kotlin/UShort|
    public final const [EvaluatedValue=ULong(0)] val mod6: R|kotlin/ULong| = R|/twoVal|.R|kotlin/UInt.mod|(R|/ulongVal|)
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=UInt(0)] val and1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.and|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(2)] val and2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.and|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(2)] val and3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.and|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(8)] val and4: R|kotlin/UInt| = UInt(12).R|kotlin/UInt.and|(UInt(10))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(3)] val or1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.or|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(2)] val or2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.or|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(3)] val or3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.or|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(14)] val or4: R|kotlin/UInt| = UInt(12).R|kotlin/UInt.or|(UInt(10))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(3)] val xor1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.xor|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val xor2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.xor|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val xor3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.xor|(R|/twoVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(6)] val xor4: R|kotlin/UInt| = UInt(12).R|kotlin/UInt.xor|(UInt(10))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(-1)] val inv1: R|kotlin/UInt| = R|/zeroVal|.R|kotlin/UInt.inv|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(-2)] val inv2: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.inv|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(2)] val shl1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shl|(Int(1))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(8)] val shl2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.shl|(Int(2))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(12)] val shl3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.shl|(Int(2))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(-2147483648)] val shl4: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shl|(Int(31))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val shl5: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shl|(Int(32))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(-2147483648)] val shl6: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shl|(Int(63))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val shr1: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shr|(Int(1))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val shr2: R|kotlin/UInt| = R|/twoVal|.R|kotlin/UInt.shr|(Int(1))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val shr3: R|kotlin/UInt| = R|/threeVal|.R|kotlin/UInt.shr|(Int(1))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val shr4: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shr|(Int(31))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val shr5: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shr|(Int(32))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val shr6: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.shr|(Int(63))
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UByte(1)] val convert1: R|kotlin/UByte| = R|/oneVal|.R|kotlin/UInt.toUByte|()
        public get(): R|kotlin/UByte|
    public final const [EvaluatedValue=UShort(1)] val convert2: R|kotlin/UShort| = R|/oneVal|.R|kotlin/UInt.toUShort|()
        public get(): R|kotlin/UShort|
    public final const [EvaluatedValue=UInt(1)] val convert3: R|kotlin/UInt| = R|/oneVal|.R|kotlin/UInt.toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=ULong(1)] val convert4: R|kotlin/ULong| = R|/oneVal|.R|kotlin/UInt.toULong|()
        public get(): R|kotlin/ULong|
    public final const [EvaluatedValue=Float(1.0)] val convert5: R|kotlin/Float| = R|/oneVal|.R|kotlin/UInt.toFloat|()
        public get(): R|kotlin/Float|
    public final const [EvaluatedValue=Double(1.0)] val convert6: R|kotlin/Double| = R|/oneVal|.R|kotlin/UInt.toDouble|()
        public get(): R|kotlin/Double|
    public final const [EvaluatedValue=Byte(1)] val convert7: R|kotlin/Byte| = R|/oneVal|.R|kotlin/UInt.toByte|()
        public get(): R|kotlin/Byte|
    public final const [EvaluatedValue=Short(1)] val convert8: R|kotlin/Short| = R|/oneVal|.R|kotlin/UInt.toShort|()
        public get(): R|kotlin/Short|
    public final const [EvaluatedValue=Int(1)] val convert9: R|kotlin/Int| = R|/oneVal|.R|kotlin/UInt.toInt|()
        public get(): R|kotlin/Int|
    public final const [EvaluatedValue=Long(1)] val convert10: R|kotlin/Long| = R|/oneVal|.R|kotlin/UInt.toLong|()
        public get(): R|kotlin/Long|
    public final const [EvaluatedValue=UInt(1)] val convert11: R|kotlin/UInt| = Int(1).R|kotlin/Int.toByte|().R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val convert12: R|kotlin/UInt| = Int(1).R|kotlin/Int.toShort|().R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val convert13: R|kotlin/UInt| = Int(1).R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val convert14: R|kotlin/UInt| = Long(1).R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val convert15: R|kotlin/UInt| = Float(1.0).R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(1)] val convert16: R|kotlin/UInt| = Double(1.0).R|kotlin/toUInt|()
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=Boolean(false)] val equals1: R|kotlin/Boolean| = ==(R|/oneVal|, R|/twoVal|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=Boolean(true)] val equals2: R|kotlin/Boolean| = ==(R|/twoVal|, R|/twoVal|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=Boolean(false)] val equals3: R|kotlin/Boolean| = ==(R|/threeVal|, R|/twoVal|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=Boolean(false)] val equals4: R|kotlin/Boolean| = ==(R|/fourVal|, R|/twoVal|)
        public get(): R|kotlin/Boolean|
    public final const [EvaluatedValue=String(1)] val toString1: R|kotlin/String| = R|/oneVal|.R|kotlin/UInt.toString|()
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=String(2)] val toString2: R|kotlin/String| = R|/twoVal|.R|kotlin/UInt.toString|()
        public get(): R|kotlin/String|
    public final const [EvaluatedValue=UInt(-1)] val limits1: R|kotlin/UInt| = UInt(4294967294).R|kotlin/UInt.plus|(R|/oneVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(0)] val limits2: R|kotlin/UInt| = UInt(4294967295).R|kotlin/UInt.plus|(R|/oneVal|)
        public get(): R|kotlin/UInt|
    public final const [EvaluatedValue=UInt(-1)] val limits3: R|kotlin/UInt| = R|/zeroVal|.R|kotlin/UInt.minus|(R|/oneVal|)
        public get(): R|kotlin/UInt|
    public final fun box(): R|kotlin/String| {
        when () {
            !=(R|/compareTo1|.R|/id|<R|kotlin/Int|>(), Int(-1)) ->  {
                ^box String(Fail compareTo 1)
            }
        }

        when () {
            !=(R|/compareTo2|.R|/id|<R|kotlin/Int|>(), Int(0)) ->  {
                ^box String(Fail compareTo2)
            }
        }

        when () {
            !=(R|/compareTo3|.R|/id|<R|kotlin/Int|>(), Int(1)) ->  {
                ^box String(Fail compareTo3)
            }
        }

        when () {
            !=(R|/compareTo4|.R|/id|<R|kotlin/Int|>(), Int(0)) ->  {
                ^box String(Fail compareTo4)
            }
        }

        when () {
            !=(R|/compareTo5|.R|/id|<R|kotlin/Int|>(), Int(0)) ->  {
                ^box String(Fail compareTo5)
            }
        }

        when () {
            !=(R|/compareTo6|.R|/id|<R|kotlin/Int|>(), Int(0)) ->  {
                ^box String(Fail compareTo6)
            }
        }

        when () {
            !=(R|/plus1|.R|/id|<R|kotlin/UInt|>(), UInt(3)) ->  {
                ^box String(Fail plus1)
            }
        }

        when () {
            !=(R|/plus2|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail plus2)
            }
        }

        when () {
            !=(R|/plus3|.R|/id|<R|kotlin/UInt|>(), UInt(5)) ->  {
                ^box String(Fail plus3)
            }
        }

        when () {
            !=(R|/plus4|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail plus4)
            }
        }

        when () {
            !=(R|/plus5|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail plus5)
            }
        }

        when () {
            !=(R|/plus6|.R|/id|<R|kotlin/ULong|>(), ULong(4)) ->  {
                ^box String(Fail plus6)
            }
        }

        when () {
            !=(R|/minus1|.R|/id|<R|kotlin/UInt|>(), UInt(4294967295)) ->  {
                ^box String(Fail minus1)
            }
        }

        when () {
            !=(R|/minus2|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail minus2)
            }
        }

        when () {
            !=(R|/minus3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail minus3)
            }
        }

        when () {
            !=(R|/minus4|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail minus4)
            }
        }

        when () {
            !=(R|/minus5|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail minus5)
            }
        }

        when () {
            !=(R|/minus6|.R|/id|<R|kotlin/ULong|>(), ULong(0)) ->  {
                ^box String(Fail minus6)
            }
        }

        when () {
            !=(R|/times1|.R|/id|<R|kotlin/UInt|>(), UInt(2)) ->  {
                ^box String(Fail times1)
            }
        }

        when () {
            !=(R|/times2|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail times2)
            }
        }

        when () {
            !=(R|/times3|.R|/id|<R|kotlin/UInt|>(), UInt(6)) ->  {
                ^box String(Fail times3)
            }
        }

        when () {
            !=(R|/times4|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail times4)
            }
        }

        when () {
            !=(R|/times5|.R|/id|<R|kotlin/UInt|>(), UInt(4)) ->  {
                ^box String(Fail times5)
            }
        }

        when () {
            !=(R|/times6|.R|/id|<R|kotlin/ULong|>(), ULong(4)) ->  {
                ^box String(Fail times6)
            }
        }

        when () {
            !=(R|/div1|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail div1)
            }
        }

        when () {
            !=(R|/div2|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail div2)
            }
        }

        when () {
            !=(R|/div3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail div3)
            }
        }

        when () {
            !=(R|/div4|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail div4)
            }
        }

        when () {
            !=(R|/div5|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail div5)
            }
        }

        when () {
            !=(R|/div6|.R|/id|<R|kotlin/ULong|>(), ULong(1)) ->  {
                ^box String(Fail div6)
            }
        }

        when () {
            !=(R|/floorDiv1|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail  floorDiv1)
            }
        }

        when () {
            !=(R|/floorDiv2|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail  floorDiv2)
            }
        }

        when () {
            !=(R|/floorDiv3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail  floorDiv3)
            }
        }

        when () {
            !=(R|/floorDiv4|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail  floorDiv4)
            }
        }

        when () {
            !=(R|/floorDiv5|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail  floorDiv5)
            }
        }

        when () {
            !=(R|/floorDiv6|.R|/id|<R|kotlin/ULong|>(), ULong(1)) ->  {
                ^box String(Fail  floorDiv6)
            }
        }

        when () {
            !=(R|/rem1|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail rem1)
            }
        }

        when () {
            !=(R|/rem2|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail rem2)
            }
        }

        when () {
            !=(R|/rem3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail rem3)
            }
        }

        when () {
            !=(R|/rem4|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail rem4)
            }
        }

        when () {
            !=(R|/rem5|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail rem5)
            }
        }

        when () {
            !=(R|/rem6|.R|/id|<R|kotlin/ULong|>(), ULong(0)) ->  {
                ^box String(Fail rem6)
            }
        }

        when () {
            !=(R|/mod1|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail mod1)
            }
        }

        when () {
            !=(R|/mod2|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail mod2)
            }
        }

        when () {
            !=(R|/mod3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail mod3)
            }
        }

        when () {
            !=(R|/mod4|.R|/id|<R|kotlin/UByte|>(), UInt(0).R|kotlin/UInt.toUByte|()) ->  {
                ^box String(Fail mod4)
            }
        }

        when () {
            !=(R|/mod5|.R|/id|<R|kotlin/UShort|>(), UInt(0).R|kotlin/UInt.toUShort|()) ->  {
                ^box String(Fail mod5)
            }
        }

        when () {
            !=(R|/mod6|.R|/id|<R|kotlin/ULong|>(), ULong(0)) ->  {
                ^box String(Fail mod6)
            }
        }

        when () {
            !=(R|/and1|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail and1)
            }
        }

        when () {
            !=(R|/and2|.R|/id|<R|kotlin/UInt|>(), UInt(2)) ->  {
                ^box String(Fail and2)
            }
        }

        when () {
            !=(R|/and3|.R|/id|<R|kotlin/UInt|>(), UInt(2)) ->  {
                ^box String(Fail and3)
            }
        }

        when () {
            !=(R|/and4|.R|/id|<R|kotlin/UInt|>(), UInt(8)) ->  {
                ^box String(Fail and4)
            }
        }

        when () {
            !=(R|/or1|.R|/id|<R|kotlin/UInt|>(), UInt(3)) ->  {
                ^box String(Fail or1)
            }
        }

        when () {
            !=(R|/or2|.R|/id|<R|kotlin/UInt|>(), UInt(2)) ->  {
                ^box String(Fail or2)
            }
        }

        when () {
            !=(R|/or3|.R|/id|<R|kotlin/UInt|>(), UInt(3)) ->  {
                ^box String(Fail or3)
            }
        }

        when () {
            !=(R|/or4|.R|/id|<R|kotlin/UInt|>(), UInt(14)) ->  {
                ^box String(Fail or4)
            }
        }

        when () {
            !=(R|/xor1|.R|/id|<R|kotlin/UInt|>(), UInt(3)) ->  {
                ^box String(Fail xor1)
            }
        }

        when () {
            !=(R|/xor2|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail xor2)
            }
        }

        when () {
            !=(R|/xor3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail xor3)
            }
        }

        when () {
            !=(R|/xor4|.R|/id|<R|kotlin/UInt|>(), UInt(6)) ->  {
                ^box String(Fail xor4)
            }
        }

        when () {
            !=(R|/inv1|.R|/id|<R|kotlin/UInt|>(), UInt(4294967295)) ->  {
                ^box String(Fail inv1)
            }
        }

        when () {
            !=(R|/inv2|.R|/id|<R|kotlin/UInt|>(), UInt(4294967294)) ->  {
                ^box String(Fail inv2)
            }
        }

        when () {
            !=(R|/shl1|.R|/id|<R|kotlin/UInt|>(), UInt(2)) ->  {
                ^box String(Fail shl1)
            }
        }

        when () {
            !=(R|/shl2|.R|/id|<R|kotlin/UInt|>(), UInt(8)) ->  {
                ^box String(Fail shl2)
            }
        }

        when () {
            !=(R|/shl3|.R|/id|<R|kotlin/UInt|>(), UInt(12)) ->  {
                ^box String(Fail shl3)
            }
        }

        when () {
            !=(R|/shl4|.R|/id|<R|kotlin/UInt|>(), UInt(2147483648)) ->  {
                ^box String(Fail shl4)
            }
        }

        when () {
            !=(R|/shl5|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail shl5)
            }
        }

        when () {
            !=(R|/shl6|.R|/id|<R|kotlin/UInt|>(), UInt(2147483648)) ->  {
                ^box String(Fail shl6)
            }
        }

        when () {
            !=(R|/shr1|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail shr1)
            }
        }

        when () {
            !=(R|/shr2|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail shr2)
            }
        }

        when () {
            !=(R|/shr3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail shr3)
            }
        }

        when () {
            !=(R|/shr4|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail shr4)
            }
        }

        when () {
            !=(R|/shr5|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail shr5)
            }
        }

        when () {
            !=(R|/shr6|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail shr6)
            }
        }

        when () {
            !=(R|/convert1|.R|/id|<R|kotlin/UByte|>(), UInt(1).R|kotlin/UInt.toUByte|()) ->  {
                ^box String(Fail convert1)
            }
        }

        when () {
            !=(R|/convert2|.R|/id|<R|kotlin/UShort|>(), UInt(1).R|kotlin/UInt.toUShort|()) ->  {
                ^box String(Fail convert2)
            }
        }

        when () {
            !=(R|/convert3|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert3)
            }
        }

        when () {
            !=(R|/convert4|.R|/id|<R|kotlin/ULong|>(), ULong(1)) ->  {
                ^box String(Fail convert4)
            }
        }

        when () {
            !=(R|/convert5|.R|/id|<R|kotlin/Float|>(), Float(1.0)) ->  {
                ^box String(Fail convert5)
            }
        }

        when () {
            !=(R|/convert6|.R|/id|<R|kotlin/Double|>(), Double(1.0)) ->  {
                ^box String(Fail convert6)
            }
        }

        when () {
            !=(R|/convert7|.R|/id|<R|kotlin/Byte|>(), Int(1).R|kotlin/Int.toByte|()) ->  {
                ^box String(Fail convert7)
            }
        }

        when () {
            !=(R|/convert8|.R|/id|<R|kotlin/Short|>(), Int(1).R|kotlin/Int.toShort|()) ->  {
                ^box String(Fail convert8)
            }
        }

        when () {
            !=(R|/convert9|.R|/id|<R|kotlin/Int|>(), Int(1)) ->  {
                ^box String(Fail convert9)
            }
        }

        when () {
            !=(R|/convert10|.R|/id|<R|kotlin/Long|>(), Long(1)) ->  {
                ^box String(Fail convert10)
            }
        }

        when () {
            !=(R|/convert11|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert11)
            }
        }

        when () {
            !=(R|/convert12|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert12)
            }
        }

        when () {
            !=(R|/convert13|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert13)
            }
        }

        when () {
            !=(R|/convert14|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert14)
            }
        }

        when () {
            !=(R|/convert15|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert15)
            }
        }

        when () {
            !=(R|/convert16|.R|/id|<R|kotlin/UInt|>(), UInt(1)) ->  {
                ^box String(Fail convert16)
            }
        }

        when () {
            !=(R|/equals1|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) ->  {
                ^box String(Fail equals1)
            }
        }

        when () {
            !=(R|/equals2|.R|/id|<R|kotlin/Boolean|>(), Boolean(true)) ->  {
                ^box String(Fail equals2)
            }
        }

        when () {
            !=(R|/equals3|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) ->  {
                ^box String(Fail equals3)
            }
        }

        when () {
            !=(R|/equals4|.R|/id|<R|kotlin/Boolean|>(), Boolean(false)) ->  {
                ^box String(Fail equals4)
            }
        }

        when () {
            !=(R|/toString1|.R|/id|<R|kotlin/String|>(), String(1)) ->  {
                ^box String(Fail toString1)
            }
        }

        when () {
            !=(R|/toString2|.R|/id|<R|kotlin/String|>(), String(2)) ->  {
                ^box String(Fail toString2)
            }
        }

        when () {
            !=(R|/limits1|.R|/id|<R|kotlin/UInt|>(), UInt(4294967295)) ->  {
                ^box String(Fail limits1)
            }
        }

        when () {
            !=(R|/limits2|.R|/id|<R|kotlin/UInt|>(), UInt(0)) ->  {
                ^box String(Fail limits2)
            }
        }

        when () {
            !=(R|/limits3|.R|/id|<R|kotlin/UInt|>(), UInt(4294967295)) ->  {
                ^box String(Fail limits3)
            }
        }

        ^box String(OK)
    }
