let reserved_prefix_tbl = Hashtbl.create 17