233 |
let ciphers = { |
let ciphers = { |
234 |
in_cipher = create_cipher (); |
in_cipher = create_cipher (); |
235 |
out_cipher = create_cipher (); |
out_cipher = create_cipher (); |
236 |
in_xinu = Int64.of_int 0x51; |
in_xinu = 0x51L; |
237 |
out_xinu = Int64.of_int 0x51; |
out_xinu = 0x51L; |
238 |
} in |
} in |
239 |
begin |
begin |
240 |
try |
try |
687 |
let ciphers = { |
let ciphers = { |
688 |
in_cipher = create_cipher (); |
in_cipher = create_cipher (); |
689 |
out_cipher = create_cipher (); |
out_cipher = create_cipher (); |
690 |
in_xinu = Int64.of_int 0x51; |
in_xinu = 0x51L; |
691 |
out_xinu = Int64.of_int 0x51; |
out_xinu = 0x51L; |
692 |
} in |
} in |
693 |
let c = { |
let c = { |
694 |
c_ip = ip; |
c_ip = ip; |