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