Updating: working on libats/athread