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