}
    
    bool IntModSqrt(Int *result, Int *value, Int *modulus) {
        ValidateInt(result);
        ValidateInt(value);

    
    bool test_int_mod_sqrt(void) {
        WriteFmt("Testing IntModSqrt\n");
    
        Int value = IntFrom(10);

        Int check = IntInit();
    
        bool result = IntModSqrt(&root, &value, &mod);
        IntSquareMod(&check, &root, &mod);
        result = result && (IntCompare(&check, 10) == 0);

    
    bool test_int_mod_sqrt_no_solution(void) {
        WriteFmt("Testing IntModSqrt no-solution case\n");
    
        Int value = IntFrom(3);

        Int root = IntFrom(99);
    
        bool result = !IntModSqrt(&root, &value, &mod);
        result      = result && (IntCompare(&root, 99) == 0);