annotates ORDERSET-BIT.cpp