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