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