added forgotten header bitop.h