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