IR check exports

OK