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

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