const char *name;
const char *name ATTRIBUTE_UNUSED;
ieee_tag (p, name)     PTR p;     const char *name;{  struct ieee_handle *info = (struct ieee_handle *) p;  /* This should not be ieee_pop_unused_type, since we want the type     to be defined.  */  (void) ieee_pop_type (info);  return true;}