#ifndef CRYPTO_UINT64_VEC8X1_H
#define CRYPTO_UINT64_VEC8X1_H

typedef unsigned long long CRYPTO_ALIGN(64) crypto_uint64_vec8x1[8];

#endif