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