forgot to commit rbitset_requal