[turboshake.tentative.https.any.worker.html]
  [TurboSHAKE128 with 80256 bit output, verify last 32 bytes]
    expected: FAIL

  [TurboSHAKE256 with 80256 bit output, verify last 32 bytes]
    expected: FAIL

  [TurboSHAKE128 vector #1 (256 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #2 (512 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1)]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6)]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7)]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb)]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30)]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f)]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #1 (512 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1)]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6)]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7)]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb)]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30)]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f)]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and transferred buffer after call]
    expected: FAIL


[turboshake.tentative.https.any.html]
  [TurboSHAKE128 with 80256 bit output, verify last 32 bytes]
    expected: FAIL

  [TurboSHAKE256 with 80256 bit output, verify last 32 bytes]
    expected: FAIL

  [TurboSHAKE128 vector #1 (256 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #2 (512 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #3 (256 bit output, 1 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #4 (256 bit output, 17 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #5 (256 bit output, 289 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #6 (256 bit output, 4913 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #7 (256 bit output, 83521 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #8 (256 bit output, 1419857 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input)]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #9 (256 bit output, 24137569 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1)]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #10 (256 bit output, 3 byte input, D=0x1) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6)]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #11 (256 bit output, 1 byte input, D=0x6) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7)]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #12 (256 bit output, 3 byte input, D=0x7) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb)]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #13 (256 bit output, 7 byte input, D=0xb) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30)]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #14 (256 bit output, 1 byte input, D=0x30) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f)]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE128 vector #15 (256 bit output, 3 byte input, D=0x7f) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #1 (512 bit output, 0 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #2 (512 bit output, 1 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #3 (512 bit output, 17 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #4 (512 bit output, 289 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #5 (512 bit output, 4913 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #6 (512 bit output, 83521 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #7 (512 bit output, 1419857 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input)]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #8 (512 bit output, 24137569 byte input) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1)]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #9 (512 bit output, 3 byte input, D=0x1) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6)]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #10 (512 bit output, 1 byte input, D=0x6) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7)]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #11 (512 bit output, 3 byte input, D=0x7) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb)]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #12 (512 bit output, 7 byte input, D=0xb) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30)]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #13 (512 bit output, 1 byte input, D=0x30) and transferred buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f)]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and altered buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and altered buffer after call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and transferred buffer during call]
    expected: FAIL

  [TurboSHAKE256 vector #14 (512 bit output, 3 byte input, D=0x7f) and transferred buffer after call]
    expected: FAIL