IR check exports

Indeed.