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