BACI System: C-- to PCODE Compiler, 16:44  16 Apr 2004
Source file: race.cm  Wed Dec 01 16:38:24 2004
 line  pc
   1    0  int x = 0;
   2    0  semaphore s = 1;
   3    0  void a(void)
   4    0  {	
   5    0  	int i;
   6    0  	for (i = 0;i < 25;i++)
   7   14  	{
   8   14  		p(s);
   9   16  		x++;
  10   21  		v(s);
  11   23  	}
  12   24  }
  13   25  
  14   25  main()
  15   26  {
  16   26  	cobegin
  17   27  	{
  18   27  		a();a();
  19   33  	}
  20   34  	cout << x << endl;
  21   37  }