module gov {
  module va {
    module vista {
      module kernel {
        interface ServerToolkit {
          string getDevice();
          string getIntro();
          string getUCI();
          string getVistaServer();
          string getVolume();
          string getTitle();
        };
      };
    };
  };
};