int flag;
int test;
clock x;
urgent chan aa; // just testing
//urgent chan a; // just testing
chan a;
Mainentrys1subComponentSubSub-entry-1Sub-fork-1Sub-exit-1Sub-join-1parallel-P-1parallel-Q-2Pentryentrys1s2Qentrys1s2SyncDummyentrys1s2
main := Main();
syncDummy := SyncDummy();
system main, syncDummy;