const add to uncoded_symbols