Add encode_alt in 10_encode. Add 11_encode_mod.