12     size_t clen;  in main()  local
14     for (clen = 0; clen < sizeof c; ++clen) {  in main()
16         randombytes_buf(c, clen);  in main()
17         crypto_auth_hmacsha512(a, c, clen, key);  in main()
18         if (crypto_auth_hmacsha512_verify(a, c, clen, key) != 0) {  in main()
19             printf("fail %u\n", (unsigned int) clen);  in main()
22         if (clen > 0) {  in main()
23             c[(size_t) rand() % clen] += 1 + (rand() % 255);  in main()
24             if (crypto_auth_hmacsha512_verify(a, c, clen, key) == 0) {  in main()
25                 printf("forgery %u\n", (unsigned int) clen);  in main()
29             if (crypto_auth_hmacsha512_verify(a, c, clen, key) == 0) {  in main()
30                 printf("forgery %u\n", (unsigned int) clen);  in main()