modify Increment.v SPR.v