This is for the export visitor with re-exports.