[PATCH 5/9] externs.h cleanup: ipmon()