IR check exports

OK. Makes sense.