}
    
    void IntGCD(Int *result, Int *a, Int *b) {
        ValidateInt(result);
        ValidateInt(a);

        Int lcm      = IntInit();
    
        IntGCD(&gcd, a, b);
        IntDiv(&quotient, a, &gcd);
        IntMul(&lcm, &quotient, b);

    
    bool test_int_gcd(void) {
        WriteFmt("Testing IntGCD\n");
    
        Int a = IntFrom(48);

        Int result_value = IntInit();
    
        IntGCD(&result_value, &a, &b);
    
        bool result = IntToU64(&result_value) == 6;