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