[OperationContractAttribute(Action = "http://tempuri.org/IService1/IO_WriteFile", 
	ReplyAction = "http://tempuri.org/IService1/IO_WriteFileResponse")]
void IO_WriteFile(
	string file,
	byte[] data,
	bool overwrite,
	string key
)

<OperationContractAttribute(Action := "http://tempuri.org/IService1/IO_WriteFile", 
	ReplyAction := "http://tempuri.org/IService1/IO_WriteFileResponse")>
Sub IO_WriteFile ( 
	file As String,
	data As Byte(),
	overwrite As Boolean,
	key As String
)

[OperationContractAttribute(Action = L"http://tempuri.org/IService1/IO_WriteFile", 
	ReplyAction = L"http://tempuri.org/IService1/IO_WriteFileResponse")]
void IO_WriteFile(
	String^ file, 
	array<unsigned char>^ data, 
	bool overwrite, 
	String^ key
)

[<OperationContractAttribute(Action = "http://tempuri.org/IService1/IO_WriteFile", 
	ReplyAction = "http://tempuri.org/IService1/IO_WriteFileResponse")>]
abstract IO_WriteFile : 
        file : string * 
        data : byte[] * 
        overwrite : bool * 
        key : string -> unit