6.2.4 READ-AND-INCREMENT