.
  .
void fn( void )
{
  int i;  /* local data is not shared between threads */

  for( i = 0; i != 4; ++i ) {
    printf( ``%d '', i );
  }
  printf( ``\n'' );
}
  .
  .