Exporting reify.