IR check exports

Why the extra check?