UPDATE_1_CHECK
UPDATE_1_CHECK;
UPDATE_1_CHECK;
UPDATE_1_CHECK;
UPDATE_1_CHECK;
UPDATE_1_CHECK;
UPDATE_1_CHECK;
{ UPDATE_1_CHECK; i = (i + i) + 1; A1; }
UPDATE_1_CHECK;
UPDATE_1_CHECK;