1 #include <stdint.h> 2 #include <sys/types.h> 3 typedef uint64_t crypto_uint64; 4 5 #define select ed25519_select 6