Improved compilation, improved models