}
    
    void IntSquare(Int *result, Int *value) {
        IntMul(result, value, value);
    }

                Int next = IntInit();
    
                IntSquare(&next, &current);
                IntDeinit(&current);
                current = next;

    
    bool test_int_square(void) {
        WriteFmt("Testing IntSquare\n");
    
        Int value = IntFrom(12345);

        Int result_value = IntInit();
    
        IntSquare(&result_value, &value);
    
        bool result = IntToU64(&result_value) == 152399025;