Cross-references seen (for debugging only)