// linker define REDMASK51

#include "consts_namespace.h"
#include "crypto_uint64.h"

const crypto_uint64 REDMASK51[] = { 0x0007FFFFFFFFFFFF };