source: tradir/charm/pgm.ci @ 177

mainmodule Hello {
        readonly CProxy_HelloMain mainProxy;

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

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