let find_current current_table kinstr =
    try
      Ki.Hashtbl.find current_table kinstr
    with Not_found ->
      let record = empty_record () in
      Ki.Hashtbl.add current_table kinstr record;
      record