if (tn.hc == hc && ct.equal(tn.k, k)) {
return tn.v;
}
return null;
}
<BUG>Option<V> rec_remove(final K k, final V v, final int hc, final int lev, final INode<K, V> parent,
</BUG>
final Gen startgen, final TrieMap<K, V> ct) {
final MainNode<K, V> m = GCAS_READ(ct); // use -Yinline!
if (m instanceof CNode) {

if (tn.hc == hc && ct.equal(tn.k, k)) {
return tn.v;
}
return null;
}
Optional<V> rec_remove(final K k, final V v, final int hc, final int lev, final INode<K, V> parent,
final Gen startgen, final TrieMap<K, V> ct) {
final MainNode<K, V> m = GCAS_READ(ct); // use -Yinline!
if (m instanceof CNode) {
