Fix: total_used field of growing Arena was not decremented correctly in arena_temp_end;
@(optimization_mode)