1  void *eintr_source (void *arg)
       2  {
       3    int ts = 0;
       4    
       5    if (arg)
       6      foo ();
       7    
       8    while (1)
       9      {
      10        if (arg)
      11  	foo ();
      12        
      13        foo1 (&ts);
      14      }
      15    
      16    return 0;
      17  }