x <<- x + 1