13     char           nonce_hex[49];  in main()  local
36            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
40            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
44            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
48            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
53            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
115            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
120            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
124            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
132            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
138            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()
143            sodium_bin2hex(nonce_hex, sizeof nonce_hex, nonce, sizeof nonce));  in main()