#ifndef UINT64_H
#define UINT64_H

#include "crypto_uint64.h"
#define uint64 crypto_uint64

#endif