Isn't SuperCoder::symbol_size() the same value as factory.max_symbol_size()?