public void SetInt(int hvo, int tag, int n) { CheckDisposed(); CacheIntProp(hvo, tag, n); MakeDirty(hvo); }