public VBinderThreadState(Thread current) { Contract.Ensures(Owner == current); Capabilities = new CapabilityRef(current, 0, Globals.CapabilityManager.NullCapability); MessageQueue = new VBinderMessageBuffer(Capacity, current); this.Owner = current; }