Updating: improving libats/hashtbl_linprb