let r = add 1 2;;
assert (r = 3);;