unsafe extern "C" fn x25519_ge_double_scalarmult_vartime(
    r: &mut Point,
    a_coeff: &Scalar,
    a: &ExtPoint,
    b_coeff: &Scalar,
)