Module Reg.For_testing
val set_state : stamp:int -> relocatable_regs:Reg.t list -> unitval with_loc : Reg.t -> Reg.location -> Reg.tReg.For_testingval set_state : stamp:int -> relocatable_regs:Reg.t list -> unitval with_loc : Reg.t -> Reg.location -> Reg.t