IR check exports

Yes it is, but I'd like to get rid of it, eventually.