unsigned char test_txt[] = {
  0x54, 0x68, 0x65, 0x20, 0x66, 0x69, 0x72, 0x73, 0x74, 0x20, 0x72, 0x75,
  0x6c, 0x65, 0x20, 0x69, 0x73, 0x20, 0x74, 0x79, 0x70, 0x69, 0x63, 0x61,
  0x6c, 0x20, 0x6f, 0x66, 0x20, 0x71, 0x75, 0x61, 0x6e, 0x74, 0x75, 0x6d,
  0x20, 0x70, 0x68, 0x79, 0x73, 0x69, 0x63, 0x73, 0x2e, 0x20, 0x49, 0x74,
  0x20, 0x72, 0x65, 0x73, 0x75, 0x6c, 0x74, 0x73, 0x20, 0x66, 0x72, 0x6f,
  0x6d, 0x20, 0x74, 0x68, 0x65, 0x20, 0x70, 0x6f, 0x73, 0x74, 0x75, 0x6c,
  0x61, 0x74, 0x65, 0x20, 0x6f, 0x66, 0x0a, 0x75, 0x6e, 0x69, 0x74, 0x61,
  0x72, 0x79, 0x20, 0x65, 0x76, 0x6f, 0x6c, 0x75, 0x74, 0x69, 0x6f, 0x6e,
  0x2e, 0x20, 0x54, 0x68, 0x65, 0x20, 0x73, 0x65, 0x63, 0x6f, 0x6e, 0x64,
  0x20, 0x72, 0x75, 0x6c, 0x65, 0x20, 0x69, 0x73, 0x20, 0x61, 0x20, 0x63,
  0x6c, 0x61, 0x73, 0x73, 0x69, 0x63, 0x61, 0x6c, 0x20, 0x72, 0x75, 0x6c,
  0x65, 0x20, 0x6f, 0x66, 0x20, 0x74, 0x68, 0x65, 0x20, 0x61, 0x64, 0x64,
  0x69, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x6f, 0x66, 0x0a, 0x70, 0x72, 0x6f,
  0x62, 0x61, 0x62, 0x69, 0x6c, 0x69, 0x74, 0x69, 0x65, 0x73, 0x2e, 0x20,
  0x49, 0x74, 0x20, 0x72, 0x65, 0x73, 0x75, 0x6c, 0x74, 0x73, 0x20, 0x66,
  0x72, 0x6f, 0x6d, 0x20, 0x64, 0x65, 0x63, 0x6f, 0x68, 0x65, 0x72, 0x65,
  0x6e, 0x63, 0x65, 0x20, 0x74, 0x68, 0x72, 0x6f, 0x75, 0x67, 0x68, 0x20,
  0x6f, 0x62, 0x73, 0x65, 0x72, 0x76, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x2e,
  0x20, 0x57, 0x68, 0x65, 0x6e, 0x0a, 0x69, 0x6e, 0x74, 0x65, 0x72, 0x6d,
  0x65, 0x64, 0x69, 0x61, 0x74, 0x65, 0x20, 0x73, 0x74, 0x61, 0x74, 0x65,
  0x73, 0x20, 0x61, 0x72, 0x65, 0x20, 0x6f, 0x62, 0x73, 0x65, 0x72, 0x76,
  0x65, 0x64, 0x2c, 0x20, 0x74, 0x68, 0x65, 0x20, 0x6f, 0x62, 0x73, 0x65,
  0x72, 0x76, 0x65, 0x64, 0x20, 0x73, 0x79, 0x73, 0x74, 0x65, 0x6d, 0x20,
  0x69, 0x73, 0x20, 0x72, 0x65, 0x70, 0x72, 0x65, 0x73, 0x65, 0x6e, 0x74,
  0x65, 0x64, 0x20, 0x62, 0x79, 0x20, 0x61, 0x0a, 0x6d, 0x69, 0x78, 0x74,
  0x75, 0x72, 0x65, 0x20, 0x6f, 0x66, 0x20, 0x73, 0x74, 0x61, 0x74, 0x65,
  0x73, 0x2e, 0x20, 0x54, 0x68, 0x65, 0x20, 0x63, 0x6c, 0x61, 0x73, 0x73,
  0x69, 0x63, 0x61, 0x6c, 0x20, 0x72, 0x75, 0x6c, 0x65, 0x20, 0x6f, 0x66,
  0x20, 0x61, 0x64, 0x64, 0x69, 0x74, 0x69, 0x6f, 0x6e, 0x20, 0x6f, 0x66,
  0x20, 0x70, 0x72, 0x6f, 0x62, 0x61, 0x62, 0x69, 0x6c, 0x69, 0x74, 0x69,
  0x65, 0x73, 0x20, 0x6d, 0x75, 0x73, 0x74, 0x20, 0x74, 0x68, 0x65, 0x6e,
  0x20, 0x62, 0x65, 0x0a, 0x61, 0x70, 0x70, 0x6c, 0x69, 0x65, 0x64, 0x2e,
  0x20, 0x45, 0x6e, 0x74, 0x61, 0x6e, 0x67, 0x6c, 0x65, 0x6d, 0x65, 0x6e,
  0x74, 0x20, 0x62, 0x79, 0x20, 0x6f, 0x62, 0x73, 0x65, 0x72, 0x76, 0x61,
  0x74, 0x69, 0x6f, 0x6e, 0x20, 0x74, 0x68, 0x75, 0x73, 0x20, 0x65, 0x78,
  0x70, 0x6c, 0x61, 0x69, 0x6e, 0x73, 0x20, 0x46, 0x65, 0x79, 0x6e, 0x6d,
  0x61, 0x6e, 0x27, 0x73, 0x20, 0x73, 0x65, 0x63, 0x6f, 0x6e, 0x64, 0x20,
  0x72, 0x75, 0x6c, 0x65, 0x2e, 0x20, 0x54, 0x68, 0x69, 0x73, 0x0a, 0x65,
  0x78, 0x70, 0x6c, 0x61, 0x69, 0x6e, 0x73, 0x20, 0x74, 0x68, 0x65, 0x20,
  0x46, 0x65, 0x79, 0x6e, 0x6d, 0x61, 0x6e, 0x20, 0x52, 0x75, 0x6c, 0x65,
  0x73, 0x20, 0x66, 0x6f, 0x72, 0x20, 0x63, 0x61, 0x6c, 0x63, 0x75, 0x6c,
  0x61, 0x74, 0x69, 0x6e, 0x67, 0x20, 0x70, 0x72, 0x6f, 0x62, 0x61, 0x62,
  0x69, 0x6c, 0x69, 0x74, 0x69, 0x65, 0x73, 0x20, 0x69, 0x6e, 0x20, 0x71,
  0x75, 0x61, 0x6e, 0x74, 0x75, 0x6d, 0x20, 0x70, 0x68, 0x79, 0x73, 0x69,
  0x63, 0x73, 0x0a, 0x28, 0x46, 0x65, 0x79, 0x6e, 0x6d, 0x61, 0x6e, 0x20,
  0x31, 0x39, 0x36, 0x36, 0x29, 0x2e, 0x0a
};
unsigned int test_txt_len = 547;