crypto_sign_ed25519_amd64_51_REDMASK51 = 0x7FFFFFFFFFFFF
crypto_sign_ed25519_amd64_51_2P0 = 0xFFFFFFFFFFFDA
crypto_sign_ed25519_amd64_51_2P1234 = 0xFFFFFFFFFFFFE
crypto_sign_ed25519_amd64_51_4P0 = 0xFFFFFFFFFFFDA
crypto_sign_ed25519_amd64_51_4P1234 = 0xFFFFFFFFFFFFE
crypto_sign_ed25519_amd64_51_MU0 = 0xED9CE5A30A2C131B
crypto_sign_ed25519_amd64_51_MU1 = 0x2106215D086329A7
crypto_sign_ed25519_amd64_51_MU2 = 0xFFFFFFFFFFFFFFEB
crypto_sign_ed25519_amd64_51_MU3 = 0xFFFFFFFFFFFFFFFF
crypto_sign_ed25519_amd64_51_MU4 = 0x000000000000000F
crypto_sign_ed25519_amd64_51_ORDER0 = 0x5812631A5CF5D3ED
crypto_sign_ed25519_amd64_51_ORDER1 = 0x14DEF9DEA2F79CD6
crypto_sign_ed25519_amd64_51_ORDER2 = 0x0000000000000000
crypto_sign_ed25519_amd64_51_ORDER3 = 0x1000000000000000
crypto_sign_ed25519_amd64_51_EC2D0 = 1859910466990425
crypto_sign_ed25519_amd64_51_EC2D1 = 932731440258426
crypto_sign_ed25519_amd64_51_EC2D2 = 1072319116312658
crypto_sign_ed25519_amd64_51_EC2D3 = 1815898335770999
crypto_sign_ed25519_amd64_51_EC2D4 = 633789495995903
crypto_sign_ed25519_amd64_51_121666_213 = 996687872
crypto_sign_ed25519_amd64_64_38 = 38
crypto_sign_ed25519_amd64_51__38 = 38
mask63 = 0x7FFFFFFFFFFFFFFF
_64_38 = 38
crypto_sign_ed25519_amd64_64_121666 = 121666
crypto_sign_ed25519_amd64_64_MU0 = 0xED9CE5A30A2C131B
crypto_sign_ed25519_amd64_64_MU1 = 0x2106215D086329A7
crypto_sign_ed25519_amd64_64_MU2 = 0xFFFFFFFFFFFFFFEB
crypto_sign_ed25519_amd64_64_MU3 = 0xFFFFFFFFFFFFFFFF
crypto_sign_ed25519_amd64_64_MU4 = 0x000000000000000F
crypto_sign_ed25519_amd64_64_ORDER0 = 0x5812631A5CF5D3ED
crypto_sign_ed25519_amd64_64_ORDER1 = 0x14DEF9DEA2F79CD6
crypto_sign_ed25519_amd64_64_ORDER2 = 0x0000000000000000
crypto_sign_ed25519_amd64_64_ORDER3 = 0x1000000000000000
crypto_sign_ed25519_amd64_64_EC2D0 = 0xEBD69B9426B2F146
crypto_sign_ed25519_amd64_64_EC2D1 = 0x00E0149A8283B156
crypto_sign_ed25519_amd64_64_EC2D2 = 0x198E80F2EEF3D130
crypto_sign_ed25519_amd64_64_EC2D3 = 0xA406D9DC56DFFCE7
crypto_sign_ed25519_amd64_64_38 = 38
