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