let
paraminfos =
Hashtbl
.create 97