According to @alexcrichton, masks are usually subsets of the universal set, so this shouldn't be a problem. I think we should mention though in the macro's comment that the universe is not statically checked (some C bindings are probably weird like that), and in that case the user should define those outside the macro, eg. `static NotInUniverse: Flags = Flags { bits: ??? }`.