badfile ::=

  [BADFILE  filename]