gerrit.named-data.net / ndns / 599cd396d5053b8b612cc519183d7c35067844bb / src / daemon / name-server.hpp