FILE: kt54220.kt
    public final const val c: R|kotlin/UInt| = UInt(1).R|kotlin/UInt.plus|(UInt(2))
        public get(): R|kotlin/UInt|
    public final fun box(): R|kotlin/String| {
        ^box when () {
            !=(R|/c|, UInt(3)) ->  {
                String(fail)
            }
            else ->  {
                String(OK)
            }
        }

    }
