badfile ::= 
 
  [BADFILE  [[directory_path]  [filename]]