ENCODE_ISO_CHARACTER 4472 src/coding.c   	      ENCODE_ISO_CHARACTER (charset, c);
ENCODE_ISO_CHARACTER 4511 src/coding.c   	  ENCODE_ISO_CHARACTER (charset, c);