1extern int unknown;
2extern int n0;
3extern short *s0;
4extern int n1;
5extern short *s1;
6extern short *s2;
7extern int *n2;
8extern int *n3;
9extern int n4;
10extern short *n5;
11extern int *n6;
12extern int n7;
13extern char *unc;
14
15void
16f (short *sp)
17{
18  int j = 0;
19  int i = 0;
20  int n8 = 0;
21  int n9 = 0;
22  short *s3 = sp;
23  short s4 = (short) unknown;
24  short s5 = (short) unknown;
25  char *c0 = unc;
26  int n10 = 0;
27  int n11 = 0;
28  int u0 = unknown;
29  int k = 0;
30
31  for (n8 = 1; n8 <= n7; n8++)
32    {
33      for (i = 1; i <= n0; i++)
34	c0[i] = 0;
35      for (i = 1; i <= u0; i++) { }
36      for (i = sp[0]; i != -32767; i = sp[i])
37	if (s4 == u0)
38	  for (j = 1; j <= u0; j++)
39	    if (!c0[s3[j]])
40	      break;
41    }
42  for (n9 = 1; n9 <= n0; n9++) s1[unknown + n9] = n9;
43  for (i = 1; i <= n1; i++)
44    for (j = 1; j <= s4; j++)
45      s3[j] = s1[s3[j]];
46  for (n8 = 1; n8 <= n7; n8++)
47    for (i = 1; i <= s5; i++)
48      s3[i] = s1[s3[i]];
49  for (n9 = 1; n9 <= n0; n9++) sp[s1[n9]] = unknown;
50  for (n10 = 2; n10 < n4; n10++) { }
51  for (k = 1; k <= unknown; k++)
52    {
53      s4 = s0[n5[u0]];
54      for (i = 1; i <= s4; i++) { }
55      for (j = 1; j <= s4; j++)
56	if (n2[1] != 0)
57	  if (i == unknown)
58	    unknown = n3[unknown];
59      n6[u0] = n10;
60    }
61  for (k = n7; k >= n11; k--)
62    if (n2[k] == -32767)
63      break;
64  free (c0);
65
66  for (i = 1; i <= n7; i++)
67    {
68      for (j = 1; j <= s4; j++) { }
69      for (n8 = s2[unknown]; n8 != -32767; n8 = s2[n8]) { }
70      for (j = 1; j <= s5; j++) { }
71    }
72}
73