#ifndef CRYPTO_UINT64_VEC4X1_H
#define CRYPTO_UINT64_VEC4X1_H

typedef unsigned long long __attribute__ ((aligned(32))) crypto_uint64_vec4x1[4];

#endif