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