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