Core_hashtbl_intf
.
Key