Re: [PATCH 2/9] externs.h cleanup: *options()