gerrit.named-data.net / ndnSIM / ndn-cxx / 3e62a83f5c4333b2beb3b4bc7f03e430bb986469 / src / util / signal.hpp