/** Get flags corresponding to a bitmask. */ static vector flags_from_mask(unsigned int mask);