> > How it is better than a new opcode "unbox" with exactly the same semantics ? For one, an “unbox” opcode assumes that the VM understands the fictitious relationship between the val and ref projections. But these are language fictions; the VM sees only classes related by extension and sealing.