let
encoding =
Hashtbl
.create 47