Symbol: LitEnc_Encode