badfile ::= 
 
  [BADFILE  filename]