badfile ::= 

  {BADFILE | BADDN} bad_filename

For information on how to read this syntax, see Appendix C.