*/
[
-/*uuid(60a15ec5-4de8-11d7-a637-005056a20182),
-version(1.0)*/
- uuid("e3514235-4b06-11d1-ab04-00c04fc2dcd2"),
+uuid(60a15ec5-4de8-11d7-a637-005056a20182),
+version(1.0),
+/* uuid("e3514235-4b06-11d1-ab04-00c04fc2dcd2"),
version(4.0),
- pointer_default(unique)
+*/ pointer_default(unique)
]
interface rpcecho
{