module CopyFileExample

import CopyFile, Directory

Start world  
	= FileNameFrom "c:\\ize\\bigyo"