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