gerrit.named-data.net / ndnSIM / ndn-cxx / 8cf2f2cdfe6d164dff7a3a58e7caed4105d308ae / src / util / signal.hpp