}
    
    void IntSqrt(Int *result, Int *value) {
        IntRoot(result, value, 2);
    }

    
    bool test_int_sqrt(void) {
        WriteFmt("Testing IntSqrt\n");
    
        Int value = IntFrom(200);

        Int result_value = IntInit();
    
        IntSqrt(&result_value, &value);
    
        bool result = IntToU64(&result_value) == 14;