more symbols have been exported.