infile ::= 
 

E { * | input_filename } [os_file_proc_clause]