set_base_encoding  285 encoding.c         set_base_encoding(idx, encoding);
set_base_encoding  300 encoding.c     	set_base_encoding(idx, origenc);