BOOL,		new)
int,		new_flag)
PUBLIC void HTSwitchDTD ARGS1(    BOOL,		new){    if (TRACE)	CTRACE(tfp,"HTMLDTD: Copying DTD element info of size %d, %d * %d\n",		(int) (new ? sizeof(tags_new) : sizeof(tags_old)),		HTML_ELEMENTS,		(int) sizeof(HTTag));    if (new)	memcpy(tags, tags_new, HTML_ELEMENTS * sizeof(HTTag));    else	memcpy(tags, tags_old, HTML_ELEMENTS * sizeof(HTTag));}