DEFAULT_PROT_BAD_VALUE
return (DEFAULT_PROT_BAD_VALUE);
if (v4compat == DEFAULT_PROT_BAD_VALUE)
if (v4compat == DEFAULT_PROT_BAD_VALUE) {