ex17: copying contents of one file to another