Yes; I will modify the test to produce ``v = sqrt_mod(a, p)``