Core_hashtbl.Key