gerrit.named-data.net / ndns / ae429127a4630e872fd87849ad6442ea2b02f535 / src / util / util.hpp