Updating: implementing libats/hashtbl_linprb