gerrit.named-data.net / ndns / 74d745c19e35a72c13270cbd5665f10177d322da / src / daemon / name-server.hpp