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