static vector flags_from_mask(unsigned int mask);