UPDATE_0_CHECK
UPDATE_0_CHECK
UPDATE_0_CHECK;
UPDATE_0_CHECK;
UPDATE_0_CHECK;
UPDATE_0_CHECK;
{ UPDATE_0_CHECK; i = (i + i); A0; } else \
UPDATE_0_CHECK;
UPDATE_0_CHECK;
UPDATE_0_CHECK;