}
    
    void IntRoot(Int *result, Int *value, u64 degree) {
        Int root      = IntInit();
        Int remainder = IntInit();

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

    
    bool test_int_root(void) {
        WriteFmt("Testing IntRoot\n");
    
        Int value = IntFrom(4096);

        Int result_value = IntInit();
    
        IntRoot(&result_value, &value, 4);
    
        bool result = IntToU64(&result_value) == 8;

    
    bool test_int_root_zero_degree(void) {
        WriteFmt("Testing IntRoot zero-degree handling\n");
    
        Int value = IntFrom(16);