Core_hashtbl_intf.S