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