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