public void Vector4()
{
byte[] key = StringToByteArray("ef012345");
byte[] plaintext = StringToByteArray("00000000000000000000");
byte[] ciphertext = StringToByteArray("d6a141a7ec3c38dfbd61");
CheckVector (key, plaintext, ciphertext);
}