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