Symbol: ct_encode_string