. "For example, if the operation in the trace is a load, the opposite operation is a store, the opposite operation of an add is a subtract, and the like." . . .