- output(1, "Family end, xref is %s\n",
- family_xreftags[void_ptr_to_int(self)]);
+ char* family_xref = "<NOTSAVED>";
+ int family_nr = void_ptr_to_int(self);
+ if (family_nr < MAXFAMILY)
+ family_xref = family_xreftags[void_ptr_to_int(self)];
+ output(1, "Family end, xref is %s\n", family_xref);