3300a3301,3302
> @option{-Wformat=2} is not turned on by any other option.
>