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