interface hello { void say_hello(in string name); };