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