badfile ::= 

  [BADFILE filename]

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

End of description.