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