Hash_set_intf.S_binable