mainmodule Hello {
	readonly CProxy_HelloMain mainProxy;

	mainchare HelloMain {
		entry HelloMain(); // implicit CkArgMsg* argument
		entry void PrintDone(void);
	};

	group HelloGroup {
		entry HelloGroup(void);
	};
};