1extern void abort (void);
2
3static char arg0[] = "arg0";
4static char arg1[] = "arg1";
5
6static void attr_rtx		(char *, char *);
7static char *attr_string        (char *);
8static void attr_eq		(char *, char *);
9
10static void
11attr_rtx (char *varg0, char *varg1)
12{
13  if (varg0 != arg0)
14    abort ();
15
16  if (varg1 != arg1)
17    abort ();
18
19  return;
20}
21
22static void
23attr_eq (name, value)
24     char *name, *value;
25{
26  return attr_rtx (attr_string (name),
27		   attr_string (value));
28}
29
30static char *
31attr_string (str)
32     char *str;
33{
34  return str;
35}
36
37int main()
38{
39  attr_eq (arg0, arg1);
40  exit (0);
41}
42
43