Updating: working on libats-hwxi/lexingbuf