bitops.h: define set_mask_bits