(I don't want to have to keep this up to date; and we don't really care if the set of flags is consistent or not)