def bezout(a, b):
    """precondition: a and b are integers, not both zero.
postcondition:  return a tuple (x,y) so that a*x + b*y = gcd(a,b)."""
    pass

def main():
    print("Testing the bezout function")
    pass
main()