CTRACE(tfp, "%s %s\n",
CTRACE((tfp, "%s %s\n",
PUBLIC void HTAA_setDefaultProtection ARGS3(CONST char *,	cur_docname,					    CONST char *,	prot_filename,					    CONST char *,	ids){    default_prot = NULL;	/* Not free()'d because this is in cache */    if (prot_filename) {	default_prot = HTAAProt_new(cur_docname, prot_filename, ids);    } else {	CTRACE(tfp, "%s %s\n",		    "HTAA_setDefaultProtection: ERROR: Protection file",		    "not specified (obligatory for DefProt rule)!!\n");    }}