Say, when write_item(x) is executed; at that time, then write_TS(X) is not set to TS(T); and after write_item(x) is executed the process gets pre-empted. In that scenario won't the two values be different?(as write_TS(X) still contains the previoius TS(T))