[OperationContractAttribute(Action = "http://tempuri.org/IService1/IO_CopyFile", 
	ReplyAction = "http://tempuri.org/IService1/IO_CopyFileResponse")]
void IO_CopyFile(
	string srcFile,
	string destFile,
	bool overwrite,
	string key
)

<OperationContractAttribute(Action := "http://tempuri.org/IService1/IO_CopyFile", 
	ReplyAction := "http://tempuri.org/IService1/IO_CopyFileResponse")>
Sub IO_CopyFile ( 
	srcFile As String,
	destFile As String,
	overwrite As Boolean,
	key As String
)

[OperationContractAttribute(Action = L"http://tempuri.org/IService1/IO_CopyFile", 
	ReplyAction = L"http://tempuri.org/IService1/IO_CopyFileResponse")]
void IO_CopyFile(
	String^ srcFile, 
	String^ destFile, 
	bool overwrite, 
	String^ key
)

[<OperationContractAttribute(Action = "http://tempuri.org/IService1/IO_CopyFile", 
	ReplyAction = "http://tempuri.org/IService1/IO_CopyFileResponse")>]
abstract IO_CopyFile : 
        srcFile : string * 
        destFile : string * 
        overwrite : bool * 
        key : string -> unit