8     char           buf3[33];  in main()  local
22            sodium_bin2hex(buf3, 33U, (const unsigned char *) "0123456789ABCDEF",  in main()
84            sodium_bin2base64(buf3, 31U, (const unsigned char *) "\xfb\xf0\xf1" "0123456789ABCDEFab",  in main()
87 …         sodium_bin2base64(buf3, 33U, (const unsigned char *) "\xfb\xf0\xf1" "0123456789ABCDEFabc",  in main()
90            sodium_bin2base64(buf3, 31U, (const unsigned char *) "\xfb\xf0\xf1" "0123456789ABCDEFab",  in main()
93 …         sodium_bin2base64(buf3, 33U, (const unsigned char *) "\xfb\xf0\xf1" "0123456789ABCDEFabc",  in main()
96            sodium_bin2base64(buf3, 1U, NULL,  in main()
99            sodium_bin2base64(buf3, 5U, (const unsigned char *) "a",  in main()
102            sodium_bin2base64(buf3, 5U, (const unsigned char *) "ab",  in main()
105            sodium_bin2base64(buf3, 5U, (const unsigned char *) "abc",  in main()
108            sodium_bin2base64(buf3, 1U, NULL,  in main()
111            sodium_bin2base64(buf3, 3U, (const unsigned char *) "a",  in main()
114            sodium_bin2base64(buf3, 4U, (const unsigned char *) "ab",  in main()
117            sodium_bin2base64(buf3, 5U, (const unsigned char *) "abc",  in main()