A neater compiler