function f(x) {
    x = x + 1;
    return x;
}
assertEq(f(3), 4)