original.name="IntMul_Valid_2"
======
>>> main.whiley


public export method test():
    int x = 8
    int y = 1
    int z = (x * x) - y
    assert z == 63
    z = (x * x) - y
    assert z == 63
    z = x * (x - y)
    assert z == 56

---