Hashtbl_intf.S