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