On Tue, Apr 23, 2019 at 8:41 AM Skip Montanaro <skip.montanaro at gmail.com> wrote: >> >> By "accepted" you mean that it isn't complaining? > > Accepted, as in it provokes no complaints. > >> What kind of flagging? > > Unused. > Cool, thanks. ChrisA