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