*** 77,10 *** --- 77,14 --- return true; } return false; } + public boolean isOwnedAnonymous() { + return addr.getAddressAt(ownerFieldOffset).asLongValue() == 1; + } + public Address owner() { return addr.getAddressAt(ownerFieldOffset); } // FIXME // void set_owner(void* owner); public int waiters() { return waitersField.getValue(addr); }