infile ::= 

  { INFILE | INDDN } { * | input_filename } [os_file_proc_clause] [ BADFILE filename | BADDN ] 

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