Updating: working on libats/linhashtbl