interface Hello {
  string hello (in string s);
};