module sample {
  interface Greeting {
    string hello(in string s);
  };
};