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