marssx86 with differential write