Example of using the File module