badfile ::= 

  {BADFILE | BADDN} bad_filename