#ifndef CRYPTO_UINT64_VEC4X1_H
#define CRYPTO_UINT64_VEC4X1_H

typedef unsigned long long CRYPTO_ALIGN(32) crypto_uint64_vec4x1[4];

#endif