Reg.For_testing
val get_stamp : unit -> int
val set_state : stamp:int -> relocatable_regs:t list -> unit
val with_loc : t -> location -> t