table[node*__node_size + offset__high] -= REF_HINC;
table[node*__node_size + offset__href] -= REF_HINC;
    private final void DECREF(int node) {        int a = table[node*__node_size + offset__lref] & REF_LMASK;        if (a == 0 || a == REF_LMASK) {            int b = table[node*__node_size + offset__href] & REF_HMASK;            if (a == 0) {                if (b == 0) return;                table[node*__node_size + offset__high] -= REF_HINC;            } else if (b == REF_HMASK) return;        }        table[node*__node_size + offset__low] -= REF_LINC;    }