Symbol: ct_encode_char