Updating: improving libats/hashtbl_linprb
Updating: merging