IR check exports

Again, why the extra check?