18     size_t              m1_len, m2_len, m3_len;  in main()  local
30     m1_len = randombytes_uniform(1000);  in main()
35         sodium_malloc(m1_len + crypto_secretstream_xchacha20poly1305_ABYTES);  in main()
41         sodium_malloc((m1_len | m2_len | m3_len) + crypto_secretstream_xchacha20poly1305_ABYTES);  in main()
44     m1  = (unsigned char *) sodium_malloc(m1_len);  in main()
47     m1_ = (unsigned char *) sodium_malloc(m1_len);  in main()
53     randombytes_buf(m1, m1_len);  in main()
54     memcpy(m1_, m1, m1_len);  in main()
70         (state, c1, &res_len, m1, m1_len, NULL, 0, 0);  in main()
72     assert(res_len == m1_len + crypto_secretstream_xchacha20poly1305_ABYTES);  in main()
90          c1, m1_len + crypto_secretstream_xchacha20poly1305_ABYTES, NULL, 0);  in main()
93     assert(memcmp(m1, m1_, m1_len) == 0);  in main()
94     assert(res_len == m1_len);  in main()
153         (state, c1, NULL, m1, m1_len, NULL, 0, 0);  in main()
163          c1, m1_len + crypto_secretstream_xchacha20poly1305_ABYTES, NULL, 0);  in main()
175         (state, c1, NULL, m1, m1_len, NULL, 0, 0);  in main()
188          c1, m1_len + crypto_secretstream_xchacha20poly1305_ABYTES, NULL, 0);  in main()
211         (state, c1, NULL, m1, m1_len, NULL, 0, crypto_secretstream_xchacha20poly1305_TAG_REKEY);  in main()
224          c1, m1_len + crypto_secretstream_xchacha20poly1305_ABYTES, &tag, 0);  in main()
237         (state, c1, NULL, m1, m1_len, NULL, 0, 0);  in main()
252         (state, c1, &res_len, m1, m1_len, NULL, 0,  in main()
255     assert(res_len == m1_len + crypto_secretstream_xchacha20poly1305_ABYTES);  in main()
277          c1, m1_len + crypto_secretstream_xchacha20poly1305_ABYTES, NULL, 0);  in main()
280     assert(memcmp(m1, m1_, m1_len) == 0);  in main()
281     assert(res_len == m1_len);  in main()