"s_" prefix added for after-call dereferenced args

We had it already but it got lost some time ago. It is better I think if
we can distinguish the offsets that are getting dereferenced again after
the function call, from the actual new values/offsets. Those will have
prefix "s_".