gerrit.named-data.net / ndn-cxx / f8503d2ef5a9087c2be064e50247206f780f1b3f / src / util / signal.hpp