module gov {
  module va {
    module vista {
      module kernel {
        interface User {
          string getFirstName();
          long getID();
          string getLastName();
        };
      };
    };
  };
};