let
(current_table: record
InstrHashtbl
.t) =
InstrHashtbl
.create 317