Symbol: a4_

variable

Defined...

• lib/crypto/curve25519-hacl64.c:708:2-708:43: u64 a4_ = a4 - (0x7ffffffffffffLLU & mask);