ENCODE_ISO_CHARACTER 4478 src/coding.c   	      ENCODE_ISO_CHARACTER (charset, c);
ENCODE_ISO_CHARACTER 4517 src/coding.c   	  ENCODE_ISO_CHARACTER (charset, c);