TYPECLASSBUF
INSIST(strlen(s) < TYPECLASSBUF);
char buf1[TYPECLASSBUF], buf2[TYPECLASSBUF];
INSIST(strlen(typename) < TYPECLASSBUF);
INSIST(strlen(classname) < TYPECLASSBUF);
char typename[TYPECLASSBUF];
char classname[TYPECLASSBUF];
char buf1[TYPECLASSBUF];
char classname[TYPECLASSBUF];
char classname[TYPECLASSBUF];
char typename[TYPECLASSBUF];