#ifndef CRYPTO_UINT64_VEC8X1_H
#define CRYPTO_UINT64_VEC8X1_H

typedef unsigned long long __attribute__ ((aligned(64))) crypto_uint64_vec8x1[8];

#endif