marssx86-with-differential-write