ENCODING_MAXNAMELEN 3878 io.c               char encname[ENCODING_MAXNAMELEN+1];
ENCODING_MAXNAMELEN 3887 io.c           	if (len == 0 || len > ENCODING_MAXNAMELEN)