file [ file ]
file
Change name of current source file to file or, if no file is given, print name of current source file.