Demand export symbols