michael@0: interface DummyInterface {};
michael@0: interface DummyInterfaceWorkers {};