ge25519_isneutral_vartime
int ge25519_isneutral_vartime(const ge25519 *p);
if (ge25519_isneutral_vartime(&get1)) goto badsig;