let find_current kinstr =
    try
      InstrHashtbl.find current_table kinstr
    with Not_found -> empty_record