let encoding = Hashtbl.create 47