michael@0: /* These interfaces are hard-coded and need to be defined. */
michael@0: interface TestExampleInterface {};
michael@0: interface TestExampleProxyInterface {};