FLAGS: readonly FlagSpec[] = ...