On Fri, Jan 20 2023, David Feuer <david.feuer at gmail.com> wrote: > Actually, getting that arity probably isn't important anyway.... Try O0. Ah, that worked. Many thanks! -- Regards, Mike