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