let paraminfos = Hashtbl.create 97