/* $echo file: file_include2.dat $echo no-filename $echo Error no file name for the file include operator */ @