[PATCH 7/9] externs.h cleanup: servmon()