let replace t p r = Hashtbl.replace t p r