method replace x y = Hashtbl.replace current x y