serval-dna/nacl/include/crypto_uint32.h