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