Better specs for both compiler passes.