Assume that an int variable x that has already been declared, and initialized to a non-negative value.