Does it make sense to turn $x into an object that stores a copy of the entry value that can be compared with the exit value? The inserted code then calls a mark member before and a test member afterwards.