Added segmented_symbol_storage