find -> find_equiv (avoid alloc)