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