extern volatile int count1;
extern volatile int initDonePE1;

void main1(void)
{
  int loop = 0xFFFF0000;

  // do some init then set init done
  while( ++loop )
    ;
  initDonePE1 = 1;

  // do something
  while( 1 )
  {
   count1 += 3;
   loop = 1;
   while( loop < 32000 )
     loop += 1;
  }
}