Improve notation
Add copy_file