void *
t1(void* arg)
{
  int k = 0;

  for (k = 0; k < NUM; k++)
  {