Symbol: set_new_encoding