Updating: improving libats/fundeque and libats/funralist