gerrit.named-data.net / ndn-cxx / 2063952229000d02428e871ffa65f534520d471d / src / util / signal.hpp