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