Symbol: encode_ti_string