NameServerMain: added instrumentation