// linker define mask51

#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(mask51) = 0x7FFFFFFFFFFFF;