Cross-references seen (for debugging only)

