1void *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}
18