9     unsigned char  buf2[1000];  in main()  local
23     memcpy(buf2, buf1, sizeof buf2);  in main()
24     printf("%d\n", sodium_memcmp(buf1, buf2, sizeof buf1));  in main()
26     printf("%d\n", sodium_memcmp(buf1, buf2, sizeof buf1));  in main()
28     printf("%d\n", sodium_memcmp(buf1, buf2, sizeof buf1));  in main()
29     printf("%d\n", sodium_memcmp(buf1, buf2, 0U));  in main()
30     sodium_memzero(buf2, sizeof buf2 / 2);  in main()
31     printf("%d\n", sodium_memcmp(buf1, buf2, sizeof buf1));  in main()
57         randombytes_buf(buf2, bin_len);  in main()
60             buf2_rev[bin_len - 1 - j] = buf2[j];  in main()
63                 sodium_compare(buf1, buf2, bin_len) <  in main()
68         memcpy(buf1, buf2, bin_len);  in main()
69         if (sodium_compare(buf1, buf2, bin_len)) {  in main()
87     memcpy(buf2, buf1, bin_len);  in main()
94     sodium_add(buf2, buf_add, bin_len);  in main()
95     if (sodium_compare(buf1, buf2, bin_len) != 0) {  in main()
100     memcpy(buf2, buf1, bin_len);  in main()
102     sodium_increment(buf2, bin_len);  in main()
103     sodium_increment(buf2, 0U);  in main()
104     sodium_add(buf2, buf_add, bin_len);  in main()
105     sodium_add(buf2, buf_add, 0U);  in main()
106     if (sodium_compare(buf1, buf2, bin_len) != 0) {  in main()