Thank you all for your kind help. @Charles: You make a good point about STCKE, but I was under the impression, confirmed by a quick check that as STCK, it also requires synchronization.
"A serialization function is performed before the value of the clock is fetched and again after the value is placed in storage" Thanks! mario
