>> > +/* List of known OS ABIs. If you change this, make sure to update the > > > + table in osabi.c. */ > > > > Suggest checking this in _initialize_osabi(). > > Ok. Sufficient to check that the last one is NULL? Sure, thanks!. Andrew