FILE [filename] FIL
This command writes the content of the workfile in a file. FILE is explained in detail in section Saving a File.