ENCODE_SHIFT_IN  4250 src/coding.c   	  ENCODE_SHIFT_IN;
ENCODE_SHIFT_IN  4289 src/coding.c         ENCODE_SHIFT_IN;							\