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