Push code that compiles.