Examples/contract/simple_c/runme1.py

import example 
# Call the Circle() function correctly

x = 1;
y = 1;
r = 3;

c = example.Circle(x, y, r)

# test post-assertion
x = 1;
y = 1;
r = 2;

c = example.Circle(x, y, r)

print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)