// Object operations MIR test
box DataBox {
    init { value }
}

static box Main {
    main() {
        local obj
        obj = new DataBox()
        obj.value = 1
        print(obj.value)
        return obj.value
    }
}