Export specs
import specs