// linker define mask63

#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(mask63) = 0x7FFFFFFFFFFFFFFF;