the instruction address is not neccessary in the memory write log of
checkpoints