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