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