// make copy of all variables x_old = x; y_old = y; // Do assignments from old to new if old_x == 0: x = y_old y = x_old else x = y_old + 1 y = x_old - 1 end