> On Mar 7, 2019, at 11:21 AM, Klaus Klein <kleink%kleink.org@localhost> wrote: > >> No, I'm removing the old API completely. > > Let me rephrase. :-) Your proposal didn't mention any header file; > I guess that means it'll remain <sys/systm.h> then. Oh, yes, <sys/systm.h> :-) -- thorpej