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