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

    
    bool test_int_lcm(void) {
        WriteFmt("Testing IntLCM\n");
    
        Int a = IntFrom(21);

        Int result_value = IntInit();
    
        IntLCM(&result_value, &a, &b);
    
        bool result = IntToU64(&result_value) == 42;